projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d145e56) | patch
[Ada] Assertion_Policy (Ignore) ignores invariants
authorBob Duff <duff@adacore.com>
Thu, 10 Oct 2019 15:23:33 +0000 (15:23 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 10 Oct 2019 15:23:33 +0000 (15:23 +0000)
commit08f66419ef908d199ec55f24d9b64cc3287a5c3c
tree10ee39e225039967caa8681796419e1f5bcfb49ctree
parentd145e5628f3a72abb2991e2fe9f45af963500ee5commit | 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.

From-SVN: r276818
gcc/ada/ChangeLog diff | blob | history
gcc/ada/einfo.adb diff | blob | history
gcc/ada/einfo.ads diff | blob | history
gcc/ada/exp_util.adb diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history