[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

gcc/ada/ChangeLog

+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

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