From 0960ddad82fa68e895f59ddfc21e7c35586fa565 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Tue, 9 Oct 2018 15:05:04 +0000 Subject: [PATCH] [Ada] Remove CodePeer annotation 2018-10-09 Arnaud Charlet gcc/ada/ * vxlink.adb: Remove pragma Annotate, no longer needed. From-SVN: r264962 --- gcc/ada/ChangeLog | 4 ++++ gcc/ada/vxlink.adb | 4 ---- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 54da439d226..527b350c2ca 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2018-10-09 Arnaud Charlet + + * vxlink.adb: Remove pragma Annotate, no longer needed. + 2018-10-09 Ed Schonberg * checks.adb (Apply_Type_Conversion_Checks): Use GNATprove_Mode diff --git a/gcc/ada/vxlink.adb b/gcc/ada/vxlink.adb index efb11ccf985..8ffcaa6c5e8 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) & -- 2.30.2