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

gcc/ada/

	* libgnat/a-cofove.adb (Insert_Space): Remove hardcoded pragma
	Warnings.
This commit is contained in:
Piotr Trojanek 2021-01-19 15:07:35 +01:00 committed by Pierre-Marie de Rodat
parent 0632f86866
commit 952da35cc6

View file

@ -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