From: Arnaud Charlet <charlet@adacore.com>
Date: Tue, 25 Aug 2020 06:35:00 +0000 (-0400)
Subject: [Ada] Update annotations for codepeer analysis on GNAT runtime
X-Git-Tag: basepoints/gcc-12~3998
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=41a52050498ea809c7175e2a3ce682324d2a966c;p=thirdparty%2Fgcc.git

[Ada] Update annotations for codepeer analysis on GNAT runtime

gcc/ada/

	* libgnat/s-imgrea.adb (Set_Image_Real): Update annotations.
---

diff --git a/gcc/ada/libgnat/s-imgrea.adb b/gcc/ada/libgnat/s-imgrea.adb
index 3c3ffe1594da..244b79c1c194 100644
--- a/gcc/ada/libgnat/s-imgrea.adb
+++ b/gcc/ada/libgnat/s-imgrea.adb
@@ -507,6 +507,8 @@ package body System.Img_Real is
          if V > Long_Long_Float'Last then
             pragma Annotate (CodePeer, False_Positive, "dead code",
                              "CodePeer analysis ignores NaN and Inf values");
+            pragma Annotate (CodePeer, False_Positive, "test always true",
+                             "CodePeer analysis ignores NaN and Inf values");
             Set ('+');
             Set ('I');
             Set ('n');
@@ -516,8 +518,6 @@ package body System.Img_Real is
 
          elsif V < Long_Long_Float'First then
             Set ('-');
-            pragma Annotate (CodePeer, False_Positive, "dead code",
-                             "CodePeer analysis ignores NaN and Inf values");
             Set ('I');
             Set ('n');
             Set ('f');