From 64ac6fbc9a72f117f1bedc23b357fb5e82c31001 Mon Sep 17 00:00:00 2001 From: pmderodat 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@264597 138bc75d-0d04-0410-961f-82ee72b054a4 --- 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 e51a2a30833d..42391f62dd54 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 400ad225b8e8..f36b9b973df0 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.47.3