From 539866048e546c696afbb49d4366fe6477f50130 Mon Sep 17 00:00:00 2001 From: Jerome Lambourg Date: Wed, 26 Sep 2018 09:13:03 +0000 Subject: [PATCH] [Ada] Vxlink: kill a CodePeer warning 2018-09-26 Jerome Lambourg gcc/ada/ * vxlink.adb: Kill a CodePeer warning. From-SVN: r264597 --- gcc/ada/ChangeLog | 4 ++++ gcc/ada/vxlink.adb | 3 +++ 2 files changed, 7 insertions(+) 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 + + * vxlink.adb: Kill a CodePeer warning. + 2018-09-24 Eric Botcazou 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) & -- 2.7.4