The output of two testsuite programs has changed.

Intrinsic - A unsupported report is generated for importing a foreign
language entity rather than a warning message.

No_Corresponding_Spec - pragma Global no longer generates an unsuported
report.  The pragma has no effect for ASVAT analysis unless it is an
ASVAT model when it is used to define the global variables of an interface
model.

Author: tjj2017

testsuite/gnat2goto/tests/intrinsic/test.out

@@ -1,6 +1,16 @@
-Standard_Error from gnat2goto use_import:
-Warning: Multi-language analysis unsupported.
-Warning: Multi-language analysis unsupported.
+Standard_Output from gnat2goto use_import:
+----------At: Process_Pragma_Declaration----------
+----------pragma Import: Multi-language analysis unsupported----------
+N_Pragma (Node_Id=2272) (source,analyzed)
+ Sloc = 8249  use_import.adb:3:4
+ Pragma_Argument_Associations = List (List_Id=-99999980)
+ Pragma_Identifier = N_Identifier "import" (Node_Id=2273)
+----------At: Process_Pragma_Declaration----------
+----------pragma Import: Multi-language analysis unsupported----------
+N_Pragma (Node_Id=2296) (source,analyzed)
+ Sloc = 8305  use_import.adb:6:4
+ Pragma_Argument_Associations = List (List_Id=-99999976)
+ Pragma_Identifier = N_Identifier "import" (Node_Id=2297)
 
 [overflow.1] file use_import.adb line 16 arithmetic overflow on signed unary minus in -((long int)use_import__i): SUCCESS
 [use_import.assertion.1] line 16 Ada Check assertion: SUCCESS

testsuite/gnat2goto/tests/no_corresponding_spec/test.out

@@ -1,13 +1,2 @@
-Standard_Output from gnat2goto no_corresponding_spec:
-----------At: Process_Pragma_Declaration----------
-----------Unsupported pragma: Global----------
-N_Pragma (Node_Id=2444) (analyzed)
- Sloc = 8446  no_corresponding_spec.adb:8:11
- Pragma_Argument_Associations = List (List_Id=-99999945)
- Corresponding_Aspect = N_Aspect_Specification (Node_Id=2279)
- Pragma_Identifier = N_Identifier "global" (Node_Id=2443)
- From_Aspect_Specification = True
- Is_Analyzed_Pragma = True
-
 [assertion.1] file no_corresponding_spec.adb line 15 Ada Check assertion: SUCCESS
 VERIFICATION SUCCESSFUL