aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPiotr Trojanek <trojanek@adacore.com>2021-01-19 15:07:35 +0100
committerPierre-Marie de Rodat <derodat@adacore.com>2021-05-06 03:51:32 -0400
commit952da35cc67000445ca18d3ee8213d7c71a4b3a4 (patch)
tree007933c0a4d1711a549b19296a12a6d5aa5c27ac
parent0632f8686633a436f05425f01276f35aa29438c1 (diff)
downloadgcc-952da35cc67000445ca18d3ee8213d7c71a4b3a4.zip
gcc-952da35cc67000445ca18d3ee8213d7c71a4b3a4.tar.gz
gcc-952da35cc67000445ca18d3ee8213d7c71a4b3a4.tar.bz2
[Ada] Remove hardcoded pragma Warnings from the formal vectors library
gcc/ada/ * libgnat/a-cofove.adb (Insert_Space): Remove hardcoded pragma Warnings.
-rw-r--r--gcc/ada/libgnat/a-cofove.adb4
1 files changed, 0 insertions, 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