Message ID | 20210506075812.GA125623@adacore.com |
---|---|
State | New |
Headers | show |
Series | [Ada] Remove hardcoded pragma Warnings from the formal vectors library | expand |
diff --git a/gcc/ada/libgnat/a-cofove.adb b/gcc/ada/libgnat/a-cofove.adb --- 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