From: Jerome Lambourg <lambourg@adacore.com>
Date: Wed, 26 Sep 2018 09:13:03 +0000 (+0000)
Subject: [Ada] Vxlink: kill a CodePeer warning
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=539866048e546c696afbb49d4366fe6477f50130;p=gcc.git

[Ada] Vxlink: kill a CodePeer warning

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

gcc/ada/

	* vxlink.adb: Kill a CodePeer warning.

From-SVN: r264597
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index e51a2a30833..42391f62dd5 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 400ad225b8e..f36b9b973df 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) &