From 952da35cc67000445ca18d3ee8213d7c71a4b3a4 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Tue, 19 Jan 2021 15:07:35 +0100 Subject: [PATCH] [Ada] Remove hardcoded pragma Warnings from the formal vectors library gcc/ada/ * libgnat/a-cofove.adb (Insert_Space): Remove hardcoded pragma Warnings. --- gcc/ada/libgnat/a-cofove.adb | 4 ---- 1 file changed, 4 deletions(-) diff --git a/gcc/ada/libgnat/a-cofove.adb b/gcc/ada/libgnat/a-cofove.adb index 4aa76ae..a1f13ed 100644 --- 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 -- 2.7.4