From 41a52050498ea809c7175e2a3ce682324d2a966c Mon Sep 17 00:00:00 2001
From: Arnaud Charlet <charlet@adacore.com>
Date: Tue, 25 Aug 2020 02:35:00 -0400
Subject: [PATCH] [Ada] Update annotations for codepeer analysis on GNAT
 runtime

gcc/ada/

	* libgnat/s-imgrea.adb (Set_Image_Real): Update annotations.
---
 gcc/ada/libgnat/s-imgrea.adb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gcc/ada/libgnat/s-imgrea.adb b/gcc/ada/libgnat/s-imgrea.adb
index 3c3ffe1594d..244b79c1c19 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');