From: Arnaud Charlet <charlet@adacore.com>
Date: Sun, 28 Feb 2021 13:24:59 +0000 (-0500)
Subject: [Ada] Do not systematically suppress checks on atree.adb
X-Git-Tag: upstream/12.2.0~7122
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=419ad27a7701d1ced4484004ccd5b2f0d22a8149;p=platform%2Fupstream%2Fgcc.git

[Ada] Do not systematically suppress checks on atree.adb

gcc/ada/

	* atree.adb: Do not suppress checks.
---

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;