Message ID | 20210617143310.GA9072@adacore.com |
---|---|
State | New |
Headers | show |
Series | [Ada] Do not systematically suppress checks on atree.adb | expand |
diff --git a/gcc/ada/atree.adb b/gcc/ada/atree.adb --- 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;