From 83fadfd9ab43f7870d309ebb46e460cec82994a2 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Tue, 21 Aug 2018 14:44:51 +0000 Subject: [PATCH] [Ada] Set_Targ: add a CodePeer annotation 2018-08-21 Arnaud Charlet gcc/ada/ * set_targ.adb: Mark some CodePeer message as Intentional. From-SVN: r263711 --- gcc/ada/ChangeLog | 4 ++++ gcc/ada/set_targ.adb | 3 +++ 2 files changed, 7 insertions(+) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 7bae0cfc813..809fd0af586 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2018-08-21 Arnaud Charlet + + * set_targ.adb: Mark some CodePeer message as Intentional. + 2018-08-21 Ed Schonberg * sem_res.adb (Resolve_Call): Force the freezing of an diff --git a/gcc/ada/set_targ.adb b/gcc/ada/set_targ.adb index 0340ee6edfd..4c717c5d7d3 100755 --- a/gcc/ada/set_targ.adb +++ b/gcc/ada/set_targ.adb @@ -917,6 +917,9 @@ begin Get_Back_End_Config_File; begin if Back_End_Config_File /= null then + pragma Gnat_Annotate + (CodePeer, Intentional, "test always false", + "some variant body will return non null"); Read_Target_Dependent_Values (Back_End_Config_File.all); -- Otherwise we get all values from the back end directly -- 2.30.2