From: Eric Botcazou <ebotcazou@adacore.com>
Date: Sat, 31 Oct 2020 13:03:04 +0000 (+0100)
Subject: [Ada] Fix oversignt in genericized package System.Value_R
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=890cfc503ac71d96ac298a3aefa3b29fdcc33634;p=gcc.git

[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.
---

diff --git a/gcc/ada/libgnat/s-valuer.adb b/gcc/ada/libgnat/s-valuer.adb
index a91fbb86869..3fdf67fd90d 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.