From: pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Wed, 26 Sep 2018 09:13:03 +0000 (+0000)
Subject: [Ada] Vxlink: kill a CodePeer warning
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=64ac6fbc9a72f117f1bedc23b357fb5e82c31001;p=thirdparty%2Fgcc.git

[Ada] Vxlink: kill a CodePeer warning

2018-09-26  Jerome Lambourg  <lambourg@adacore.com>

gcc/ada/

	* vxlink.adb: Kill a CodePeer warning.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@264597 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index e51a2a30833d..42391f62dd54 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2018-09-26  Jerome Lambourg  <lambourg@adacore.com>
+
+	* vxlink.adb: Kill a CodePeer warning.
+
 2018-09-24  Eric Botcazou  <ebotcazou@adacore.com>
 
 	PR ada/87396
diff --git a/gcc/ada/vxlink.adb b/gcc/ada/vxlink.adb
index 400ad225b8e8..f36b9b973df0 100644
--- a/gcc/ada/vxlink.adb
+++ b/gcc/ada/vxlink.adb
@@ -245,6 +245,9 @@ package body VxLink is
          GNAT.OS_Lib.Free (Args);
 
          if Status /= 0 then
+            pragma Annotate (Codepeer, False_Positive,
+                             "test always false",
+                             "Status modified by Get_Command_Output");
             Ada.Text_IO.Put_Line (Ret);
             Set_Error_State
               (Base_Name (Arguments.First_Element) &