From 890cfc503ac71d96ac298a3aefa3b29fdcc33634 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Sat, 31 Oct 2020 14:03:04 +0100 Subject: [PATCH] [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. --- gcc/ada/libgnat/s-valuer.adb | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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. -- 2.30.2