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-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ae9293fb8e1895006ce33069eaabdecfe65c46a2;p=gcc.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 6835503928a..41c69a8cc9a 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