From: Arnaud Charlet <charlet@adacore.com>
Date: Tue, 21 Aug 2018 14:44:51 +0000 (+0000)
Subject: [Ada] Set_Targ: add a CodePeer annotation
X-Git-Tag: basepoints/gcc-10~4649
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=83fadfd9ab43f7870d309ebb46e460cec82994a2;p=thirdparty%2Fgcc.git

[Ada] Set_Targ: add a CodePeer annotation

2018-08-21  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

	* set_targ.adb: Mark some CodePeer message as Intentional.

From-SVN: r263711
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 7bae0cfc813b..809fd0af586d 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2018-08-21  Arnaud Charlet  <charlet@adacore.com>
+
+	* set_targ.adb: Mark some CodePeer message as Intentional.
+
 2018-08-21  Ed Schonberg  <schonberg@adacore.com>
 
 	* 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 0340ee6edfd8..4c717c5d7d39 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