From: Claire Dross Date: Mon, 10 Feb 2020 13:51:30 +0000 (+0100) Subject: [Ada] Silence spurious warning on instances of formal vectors X-Git-Tag: basepoints/gcc-12~7222 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=ae9293fb8e1895006ce33069eaabdecfe65c46a2;p=thirdparty%2Fgcc.git [Ada] Silence spurious warning on instances of formal vectors 2020-06-08 Claire Dross gcc/ada/ * libgnat/a-cofove.adb (Insert_Space): The computation of Index generates a spurious compiler warning about a value not being in range for a statically dead branch. Silence it using pragma Warnings. --- diff --git a/gcc/ada/libgnat/a-cofove.adb b/gcc/ada/libgnat/a-cofove.adb index 6835503928ac..41c69a8cc9aa 100644 --- a/gcc/ada/libgnat/a-cofove.adb +++ b/gcc/ada/libgnat/a-cofove.adb @@ -868,7 +868,11 @@ 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