From: Piotr Trojanek <trojanek@adacore.com>
Date: Tue, 19 Jan 2021 14:07:35 +0000 (+0100)
Subject: [Ada] Remove hardcoded pragma Warnings from the formal vectors library
X-Git-Tag: basepoints/gcc-13~7770
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=952da35cc67000445ca18d3ee8213d7c71a4b3a4;p=thirdparty%2Fgcc.git

[Ada] Remove hardcoded pragma Warnings from the formal vectors library

gcc/ada/

	* libgnat/a-cofove.adb (Insert_Space): Remove hardcoded pragma
	Warnings.
---

diff --git a/gcc/ada/libgnat/a-cofove.adb b/gcc/ada/libgnat/a-cofove.adb
index 4aa76ae5b328..a1f13edc408c 100644
--- a/gcc/ada/libgnat/a-cofove.adb
+++ b/gcc/ada/libgnat/a-cofove.adb
@@ -868,11 +868,7 @@ is
             --  less than 0, so it is safe to compute the following sum without
             --  fear of overflow.
 
-            pragma Warnings
-              (Off, "value not in range of type ""T"" defined at line 4");
             Index := No_Index + Index_Type'Base (Count_Type'Last);
-            pragma Warnings
-              (On, "value not in range of type ""T"" defined at line 4");
 
             if Index <= Index_Type'Last then