]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
[Ada] Do not systematically suppress checks on atree.adb
authorArnaud Charlet <charlet@adacore.com>
Sun, 28 Feb 2021 13:24:59 +0000 (08:24 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 17 Jun 2021 14:32:10 +0000 (10:32 -0400)
gcc/ada/

* atree.adb: Do not suppress checks.

gcc/ada/atree.adb

index 6ef099806fe125eda0ef238b360b2036445e2e6a..c5e43f27904296f140ddc9edff483cb2ea70def9 100644 (file)
 --  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;