[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 e51a2a3..42391f6 100644 (file)
--- 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 400ad22..f36b9b9 100644 (file)
--- 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) &