[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 3c3ffe1594daaf6e880441c08be937523eb2b902..244b79c1c194d88e6bc5dae936daca3465bce22c 100644 (file)
--- 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');