[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 7bae0cfc813b021d2ffc05cc0693cc93c397e611..809fd0af586d55268b60461f6619790d162ef1eb 100644 (file)
--- 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 0340ee6edfd8d2a457d517366fef1121ad9d4151..4c717c5d7d393f22f43db6bdf694a30ffb18de75 100755 (executable)
--- 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