diff options
| author | Bob Duff <duff@adacore.com> | 2019-10-10 15:23:33 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-10-10 15:23:33 +0000 |
| commit | 08f66419ef908d199ec55f24d9b64cc3287a5c3c (patch) | |
| tree | 10ee39e225039967caa8681796419e1f5bcfb49c /gcc/diagnostic-format-json.cc | |
| parent | d145e5628f3a72abb2991e2fe9f45af963500ee5 (diff) | |
| download | gcc-08f66419ef908d199ec55f24d9b64cc3287a5c3c.zip gcc-08f66419ef908d199ec55f24d9b64cc3287a5c3c.tar.gz gcc-08f66419ef908d199ec55f24d9b64cc3287a5c3c.tar.bz2 | |
[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
Diffstat (limited to 'gcc/diagnostic-format-json.cc')
0 files changed, 0 insertions, 0 deletions