OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Remove CodePeer annotation

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

gcc/ada/

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

From-SVN: r264962
This commit is contained in:
Arnaud Charlet 2018-10-09 15:05:04 +00:00 committed by Pierre-Marie de Rodat
parent 94a98e801a
commit 0960ddad82
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gcc/ada/ChangeLog
View File

@ -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

4
gcc/ada/vxlink.adb
View File

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