r276818 - in /trunk/gcc/ada: ChangeLog einfo.ad...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Thu Oct 10 15:23:33 2019
New Revision: 276818

URL: https://gcc.gnu.org/viewcvs?rev=276818&root=gcc&view=rev
Log:
[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.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/einfo.adb
    trunk/gcc/ada/einfo.ads
    trunk/gcc/ada/exp_util.adb
    trunk/gcc/ada/sem_prag.adb