[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 a91fbb868691dd0f6982d2a263a06c9e95403ed2..3fdf67fd90dbd44bac8a1cdcb4994dd10837c68d 100644 (file)
--- 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.