projects
/
platform
/
upstream
/
gcc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
0632f86
)
[Ada] Remove hardcoded pragma Warnings from the formal vectors library
author
Piotr Trojanek
<trojanek@adacore.com>
Tue, 19 Jan 2021 14:07:35 +0000
(15:07 +0100)
committer
Pierre-Marie de Rodat
<derodat@adacore.com>
Thu, 6 May 2021 07:51:32 +0000
(
03:51
-0400)
gcc/ada/
* libgnat/a-cofove.adb (Insert_Space): Remove hardcoded pragma
Warnings.
gcc/ada/libgnat/a-cofove.adb
patch
|
blob
|
history
diff --git
a/gcc/ada/libgnat/a-cofove.adb
b/gcc/ada/libgnat/a-cofove.adb
index
4aa76ae
..
a1f13ed
100644
(file)
--- 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