projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c8e70f) | patch
[Ada] Assertion_Policy (Ignore) ignores invariants
authorBob Duff <duff@adacore.com>
Thu, 30 Jan 2020 19:45:19 +0000 (14:45 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 5 Jun 2020 12:17:35 +0000 (08:17 -0400)
commit5620a9cd825f48f2ffa123de7c35a69f1dcd975f
treea40e8c50eeaaf91173eb96b0213c2ff7e8896df0tree
parent6c8e70fe86da1b52160aa380f30cbb1bf644c407commit | diff
[Ada] Assertion_Policy (Ignore) ignores invariants

2020-06-05  Bob Duff  <duff@adacore.com>

gcc/ada/

* einfo.adb, einfo.ads, exp_util.adb: Remove Invariants_Ignored
flag.
* sem_prag.adb (Invariant): Instead of setting a flag to be
checked elsewhere, remove the pragma as soon as it is analyzed
and checked for legality.
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