Merge pull request #249 from chrisr-diffblue/feature/pragma-more-ignore

Feature/pragma more ignore

Author: chrisr-diffblue

experiments/golden-results/StratoX-summary.txt

@@ -120,11 +120,6 @@ Nkind: N_Null
 --
 Occurs: 7 times
 Calling function: Process_Pragma_Declaration
-Error message: Unsupported pragma: Preelaborable Initialization
-Nkind: N_Pragma
---
-Occurs: 7 times
-Calling function: Process_Pragma_Declaration
 Error message: Unsupported pragma: Suppress initialization
 Nkind: N_Pragma
 --
@@ -188,11 +183,6 @@ Calling function: Do_Procedure_Call_Statement
 Error message: sym id not in symbol table
 Nkind: N_Procedure_Call_Statement
 --
-Occurs: 2 times
-Calling function: Process_Pragma_Declaration
-Error message: Unsupported pragma: Warnings
-Nkind: N_Pragma
---
 Occurs: 1 times
 Calling function: Do_Compilation_Unit
 Error message: Unknown tree node

experiments/golden-results/Tokeneer-summary.txt

@@ -18,11 +18,6 @@ Calling function: Process_Declaration
 Error message: Abstract subprogram declaration
 Nkind: N_Abstract_Subprogram_Declaration
 --
-Occurs: 14 times
-Calling function: Process_Pragma_Declaration
-Error message: Unsupported pragma: Preelaborable Initialization
-Nkind: N_Pragma
---
 Occurs: 10 times
 Calling function: Do_Expression
 Error message: Unknown expression kind

experiments/golden-results/ksum-summary.txt

@@ -28,11 +28,6 @@ Calling function: Process_Pragma_Declaration
 Error message: Unsupported pragma: Ada 05
 Nkind: N_Pragma
 --
-Occurs: 1 times
-Calling function: Process_Pragma_Declaration
-Error message: Unsupported pragma: Preelaborable Initialization
-Nkind: N_Pragma
---
 Occurs: 41 times
 Redacted compiler error message:
 file "REDACTED" not found

experiments/golden-results/libkeccak-summary.txt

@@ -23,11 +23,6 @@ Calling function: Do_Expression
 Error message: Unknown expression kind
 Nkind: N_Null
 --
-Occurs: 9 times
-Calling function: Process_Pragma_Declaration
-Error message: Unsupported pragma: Preelaborable Initialization
-Nkind: N_Pragma
---
 Occurs: 8 times
 Calling function: Do_Private_Type_Declaration
 Error message: Abstract type declaration unsupported

experiments/golden-results/muen-summary.txt

@@ -23,11 +23,6 @@ Calling function: Process_Declaration
 Error message: Abstract subprogram declaration
 Nkind: N_Abstract_Subprogram_Declaration
 --
-Occurs: 20 times
-Calling function: Process_Pragma_Declaration
-Error message: Unsupported pragma: Preelaborable Initialization
-Nkind: N_Pragma
---
 Occurs: 13 times
 Calling function: Process_Declaration
 Error message: Package declaration

experiments/golden-results/vct-summary.txt

@@ -18,11 +18,6 @@ Calling function: Do_Private_Type_Declaration
 Error message: Abstract type declaration unsupported
 Nkind: N_Private_Type_Declaration
 --
-Occurs: 37 times
-Calling function: Process_Pragma_Declaration
-Error message: Unsupported pragma: Preelaborable Initialization
-Nkind: N_Pragma
---
 Occurs: 27 times
 Calling function: Do_Operator_General
 Error message: Concat unsupported

gnat2goto/driver/tree_walk.adb

@@ -5008,9 +5008,6 @@ package body Tree_Walk is
          when Name_Unreferenced =>
             Report_Unhandled_Node_Empty (N, "Process_Pragma_Declaration",
                                          "Unsupported pragma: Unreferenced");
-         when Name_Preelaborable_Initialization =>
-            Report_Unhandled_Node_Empty (N, "Process_Pragma_Declaration",
-                           "Unsupported pragma: Preelaborable Initialization");
          when Name_Ada_05 =>
             Report_Unhandled_Node_Empty (N, "Process_Pragma_Declaration",
                                          "Unsupported pragma: Ada 05");
@@ -5026,9 +5023,6 @@ package body Tree_Walk is
          when Name_Obsolescent =>
             Report_Unhandled_Node_Empty (N, "Process_Pragma_Declaration",
                                          "Unsupported pragma: Obsolescent");
-         when Name_Warnings =>
-            Report_Unhandled_Node_Empty (N, "Process_Pragma_Declaration",
-                                         "Unsupported pragma: Warnings");
          when Name_Initializes =>
             Report_Unhandled_Node_Empty (N, "Process_Pragma_Declaration",
                                          "Unsupported pragma: Initializes");
@@ -5100,9 +5094,13 @@ package body Tree_Walk is
             --  Only affects elaboration and linking so can be ignored for now
               Name_Universal_Aliasing |
             --  Optimisation control, should be ignored
-           Name_Implementation_Defined =>
+              Name_Implementation_Defined |
             --  Only informs the compiler that entities are implementation
             --  defined. -> Ignored
+              Name_Preelaborable_Initialization |
+            --  Same as the above preelaborations.
+              Name_Warnings =>
+            --  Ignoring pragma warnings means that all warnings are on.
             null;
          when others =>
             Report_Unhandled_Node_Empty (N, "Process_Pragma_Declaration",