git.ipfire.org Git - thirdparty/gcc.git/commit

]> git.ipfire.org Git - thirdparty/gcc.git/commit

projects / thirdparty / gcc.git / commit

author	pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
	Thu, 10 Oct 2019 15:23:33 +0000 (15:23 +0000)
committer	pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
	Thu, 10 Oct 2019 15:23:33 +0000 (15:23 +0000)
commit	ebd3b39f94a1315be1ba9b4d5857473bf8665b97
tree	10ee39e225039967caa8681796419e1f5bcfb49c	tree
parent	6c4791c0b052794028b1b57c1ea493725f960fc5	commit \| diff

[Ada] Assertion_Policy (Ignore) ignores invariants

2019-10-10 Bob Duff <duff@adacore.com>

gcc/ada/

* einfo.ads, einfo.adb (Invariants_Ignored): New flag on types.
This leaves just one unused flag.
* sem_prag.adb (Invariant): Set the flag if appropriate.
* exp_util.adb (Make_Invariant_Call): Check the flag.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276818 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ada/ChangeLog		diff \| blob \| blame \| history
gcc/ada/einfo.adb		diff \| blob \| blame \| history
gcc/ada/einfo.ads		diff \| blob \| blame \| history
gcc/ada/exp_util.adb		diff \| blob \| blame \| history
gcc/ada/sem_prag.adb		diff \| blob \| blame \| history

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom