Update testsuite after rebasing to diffblue/master

Author: tjj2017

testsuite/gnat2goto/tests/fixed_array_address_model/test.out

@@ -1,11 +1,3 @@
-Standard_Output from gnat2goto fixed_array_address_model:
-----------At: Process_Pragma_Declaration----------
-----------Unknown pragma: compile_time_warning----------
-N_Pragma (Node_Id=3683) (source,analyzed)
- Sloc = 19196  s-atacco.ads:42:4 [fixed_array_address_model.adb:10:4]
- Pragma_Argument_Associations = List (List_Id=-99999824)
- Pragma_Identifier = N_Identifier "compile_time_warning" (Node_Id=3695)
-
 [fixed_array_address_model.assertion.1] line 18 Ada Check assertion: SUCCESS
 [fixed_array_address_model.assertion.2] line 24 assertion PV.all (I) = My_Int (I): SUCCESS
 [fixed_array_address_model.assertion.3] line 32 assertion V (I) = My_Int (V'Last - I + 1): SUCCESS

testsuite/gnat2goto/tests/record_address_model/test.out

@@ -1,11 +1,3 @@
-Standard_Output from gnat2goto record_address_model:
-----------At: Process_Pragma_Declaration----------
-----------Unknown pragma: compile_time_warning----------
-N_Pragma (Node_Id=3577) (source,analyzed)
- Sloc = 19196  s-atacco.ads:42:4 [record_address_model.adb:12:4]
- Pragma_Argument_Associations = List (List_Id=-99999834)
- Pragma_Identifier = N_Identifier "compile_time_warning" (Node_Id=3589)
-
 [record_address_model.assertion.1] line 23 assertion PV.all.A = 3: SUCCESS
 [record_address_model.assertion.2] line 24 assertion PV.all.B = 5: SUCCESS
 [record_address_model.assertion.3] line 29 assertion V.A = 7: SUCCESS

testsuite/gnat2goto/tests/simple_address_model/test.out

@@ -1,11 +1,3 @@
-Standard_Output from gnat2goto simple_address_model:
-----------At: Process_Pragma_Declaration----------
-----------Unknown pragma: compile_time_warning----------
-N_Pragma (Node_Id=3509) (source,analyzed)
- Sloc = 19196  s-atacco.ads:42:4 [simple_address_model.adb:10:4]
- Pragma_Argument_Associations = List (List_Id=-99999839)
- Pragma_Identifier = N_Identifier "compile_time_warning" (Node_Id=3521)
-
 [simple_address_model.assertion.1] line 21 assertion PV.all = 3: SUCCESS
 [simple_address_model.assertion.2] line 26 assertion V = 5: SUCCESS
 [simple_address_model.assertion.3] line 31 assertion V'Address = To_Address (Object_Pointer (PV)): SUCCESS

testsuite/gnat2goto/tests/u_array_address_model/test.out

@@ -1,11 +1,3 @@
-Standard_Output from gnat2goto u_array_address_model:
-----------At: Process_Pragma_Declaration----------
-----------Unknown pragma: compile_time_warning----------
-N_Pragma (Node_Id=3669) (source,analyzed)
- Sloc = 19196  s-atacco.ads:42:4 [u_array_address_model.adb:10:4]
- Pragma_Argument_Associations = List (List_Id=-99999824)
- Pragma_Identifier = N_Identifier "compile_time_warning" (Node_Id=3681)
-
 Standard_Error from gnat2goto u_array_address_model:
 u_array_address_model.adb:10:04: warning: in instantiation at s-atacco.ads:43
 u_array_address_model.adb:10:04: warning: Object is unconstrained array type