From: pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Tue, 9 Oct 2018 15:05:04 +0000 (+0000)
Subject: [Ada] Remove CodePeer annotation
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=78a87b1065ef3812311a352acc39c7a20d2d7219;p=thirdparty%2Fgcc.git

[Ada] Remove CodePeer annotation

2018-10-09  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

	* vxlink.adb: Remove pragma Annotate, no longer needed.

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

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 54da439d226d..527b350c2ca3 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2018-10-09  Arnaud Charlet  <charlet@adacore.com>
+
+	* vxlink.adb: Remove pragma Annotate, no longer needed.
+
 2018-10-09  Ed Schonberg  <schonberg@adacore.com>
 
 	* checks.adb (Apply_Type_Conversion_Checks): Use GNATprove_Mode
diff --git a/gcc/ada/vxlink.adb b/gcc/ada/vxlink.adb
index efb11ccf985b..8ffcaa6c5e89 100644
--- a/gcc/ada/vxlink.adb
+++ b/gcc/ada/vxlink.adb
@@ -240,10 +240,6 @@ 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) &