diff options
| author | Bob Duff <duff@adacore.com> | 2020-01-30 14:45:19 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-05 08:17:35 -0400 |
| commit | 5620a9cd825f48f2ffa123de7c35a69f1dcd975f (patch) | |
| tree | a40e8c50eeaaf91173eb96b0213c2ff7e8896df0 /gcc/gimple-expr.c | |
| parent | 6c8e70fe86da1b52160aa380f30cbb1bf644c407 (diff) | |
| download | gcc-5620a9cd825f48f2ffa123de7c35a69f1dcd975f.zip gcc-5620a9cd825f48f2ffa123de7c35a69f1dcd975f.tar.gz gcc-5620a9cd825f48f2ffa123de7c35a69f1dcd975f.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/gimple-expr.c')
0 files changed, 0 insertions, 0 deletions