diff options
| author | Jerome Lambourg <lambourg@adacore.com> | 2018-09-26 09:13:03 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-09-26 09:13:03 +0000 |
| commit | 539866048e546c696afbb49d4366fe6477f50130 (patch) | |
| tree | c032597a7981ede12903506bf3b574c45c270ed0 /gcc | |
| parent | 9464ed971f63a98ecbd07a4cdb69c1624a33b4db (diff) | |
| download | gcc-539866048e546c696afbb49d4366fe6477f50130.zip gcc-539866048e546c696afbb49d4366fe6477f50130.tar.gz gcc-539866048e546c696afbb49d4366fe6477f50130.tar.bz2 | |
[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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/vxlink.adb | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index e51a2a3..42391f6 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +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 diff --git a/gcc/ada/vxlink.adb b/gcc/ada/vxlink.adb index 400ad22..f36b9b9 100644 --- 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) & |