[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 e51a2a30833d30c7dfbd89b9382e6bed95eebca1..42391f62dd54eb03af8fe46236dd6ba49758e2af 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 400ad225b8e83f2fe9542066244d16c42554511c..f36b9b973df07aad89d4e22a80f082a86f82d9a2 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) &