diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2020-10-31 14:03:04 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-27 04:15:39 -0500 |
| commit | 890cfc503ac71d96ac298a3aefa3b29fdcc33634 (patch) | |
| tree | cc6228796ce60dc3b386da7398e0b227f913932b | |
| parent | 73e07f1cd9b0f715614ec27f409002ea462c9668 (diff) | |
| download | gcc-890cfc503ac71d96ac298a3aefa3b29fdcc33634.zip gcc-890cfc503ac71d96ac298a3aefa3b29fdcc33634.tar.gz gcc-890cfc503ac71d96ac298a3aefa3b29fdcc33634.tar.bz2 | |
[Ada] Fix oversignt in genericized package System.Value_R
gcc/ada/
* libgnat/s-valuer.adb (Scan_Raw_Real): Move pragma Annotate around
and adjust its parameters.
| -rw-r--r-- | gcc/ada/libgnat/s-valuer.adb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/libgnat/s-valuer.adb b/gcc/ada/libgnat/s-valuer.adb index a91fbb8..3fdf67f 100644 --- a/gcc/ada/libgnat/s-valuer.adb +++ b/gcc/ada/libgnat/s-valuer.adb @@ -428,10 +428,10 @@ package body System.Value_R is -- First character can be either a decimal digit or a dot if Str (Index) in '0' .. '9' then - After_Point := False; - pragma Annotate - (CodePeer, Intentional, "test always true", "defensive code below"); + (CodePeer, False_Positive, "test always true", "defensive code"); + + After_Point := False; -- If this is a digit it can indicates either the float decimal -- part or the base to use. |