[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

[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
53986604 · Jerome Lambourg · Pierre-Marie de Rodat · 9464ed97 · 53986604 · 53986604
Commit 53986604 authored Sep 26, 2018 by Jerome Lambourg Committed by Pierre-Marie de Rodat Sep 26, 2018
Hide whitespace changes
Inline Side-by-side

Showing with 7 additions and 0 deletions

gcc/ada/ChangeLog
+4 -0

gcc/ada/vxlink.adb
+3 -0

No files found.
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
+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

--- 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) &