From ae9293fb8e1895006ce33069eaabdecfe65c46a2 Mon Sep 17 00:00:00 2001 From: Claire Dross Date: Mon, 10 Feb 2020 14:51:30 +0100 Subject: [PATCH] [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. --- gcc/ada/libgnat/a-cofove.adb | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/gcc/ada/libgnat/a-cofove.adb b/gcc/ada/libgnat/a-cofove.adb index 6835503..41c69a8 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 -- 2.7.4