diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2021-02-28 08:24:59 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-06-17 10:32:10 -0400 |
| commit | 419ad27a7701d1ced4484004ccd5b2f0d22a8149 (patch) | |
| tree | 0b01b266669414e359c7634fa7ffd44cecbaef48 /gcc | |
| parent | 1326b0e896e34ca2a43b71f4e6f02b71b5c0c98c (diff) | |
| download | gcc-419ad27a7701d1ced4484004ccd5b2f0d22a8149.zip gcc-419ad27a7701d1ced4484004ccd5b2f0d22a8149.tar.gz gcc-419ad27a7701d1ced4484004ccd5b2f0d22a8149.tar.bz2 | |
[Ada] Do not systematically suppress checks on atree.adb
gcc/ada/
* atree.adb: Do not suppress checks.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/atree.adb | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/gcc/ada/atree.adb b/gcc/ada/atree.adb index 6ef0998..c5e43f2 100644 --- a/gcc/ada/atree.adb +++ b/gcc/ada/atree.adb @@ -27,12 +27,11 @@ -- file must be properly reflected in the file atree.h which is a C header -- file containing equivalent definitions for use by gigi. --- Checks and assertions in this package are too slow, and are mostly needed --- when working on this package itself, or on gen_il, so we disable them. +-- Assertions in this package are too slow, and are mostly needed when working +-- on this package itself, or on gen_il, so we disable them. -- To debug low-level bugs in this area, comment out the following pragmas, -- and run with -gnatd_v. -pragma Suppress (All_Checks); pragma Assertion_Policy (Ignore); with Aspects; use Aspects; |