diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2018-10-09 15:05:04 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-10-09 15:05:04 +0000 |
| commit | 0960ddad82fa68e895f59ddfc21e7c35586fa565 (patch) | |
| tree | c125d225ee1e55db7b6c933f5fe7dd9deec4ffcb /gcc/ada | |
| parent | 94a98e801a6889e791aee63fcdbb6ee173d0259e (diff) | |
| download | gcc-0960ddad82fa68e895f59ddfc21e7c35586fa565.zip gcc-0960ddad82fa68e895f59ddfc21e7c35586fa565.tar.gz gcc-0960ddad82fa68e895f59ddfc21e7c35586fa565.tar.bz2 | |
[Ada] Remove CodePeer annotation
2018-10-09 Arnaud Charlet <charlet@adacore.com>
gcc/ada/
* vxlink.adb: Remove pragma Annotate, no longer needed.
From-SVN: r264962
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/vxlink.adb | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 54da439..527b350 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 efb11cc..8ffcaa6 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) & |