Update golden results

Author: petr-bauch

experiments/golden-results/SPARK-tetris-summary.txt

@@ -1,8 +1,3 @@
-Occurs: 15 times
-Calling function: Process_Declaration
-Error message: Package declaration
-Nkind: N_Package_Declaration
---
 Occurs: 1 times
 Calling function: Process_Declaration
 Error message: Representation clause unsupported: component_size

experiments/golden-results/StratoX-summary.txt

@@ -1,138 +1,88 @@
-Occurs: 204 times
-Calling function: Process_Pragma_Declaration
-Error message: Unsupported pragma: Postcondition
-Nkind: N_Pragma
---
 Occurs: 134 times
 Calling function: Process_Declaration
 Error message: Unknown declaration kind
 Nkind: N_Freeze_Generic_Entity
 --
-Occurs: 102 times
-Calling function: Do_Function_Call
-Error message: func name not in symbol table
-Nkind: N_Function_Call
---
 Occurs: 99 times
 Calling function: Process_Declaration
 Error message: Generic declaration
 Nkind: N_Generic_Subprogram_Declaration
 --
-Occurs: 50 times
+Occurs: 76 times
+Calling function: Process_Pragma_Declaration
+Error message: Unsupported pragma: Postcondition
+Nkind: N_Pragma
+--
+Occurs: 69 times
+Calling function: Do_Function_Call
+Error message: func name not in symbol table
+Nkind: N_Function_Call
+--
+Occurs: 39 times
 Calling function: Do_Type_Definition
 Error message: Access type unsupported
 Nkind: N_Access_To_Object_Definition
 --
-Occurs: 42 times
-Calling function: Do_Expression
-Error message: Unknown attribute
-Nkind: N_Attribute_Reference
---
-Occurs: 35 times
+Occurs: 25 times
 Calling function: Process_Pragma_Declaration
 Error message: Unsupported pragma: No strict aliasing
 Nkind: N_Pragma
 --
-Occurs: 31 times
-Calling function: Process_Declaration
-Error message: Package declaration
-Nkind: N_Package_Declaration
---
-Occurs: 23 times
-Calling function: Process_Pragma_Declaration
-Error message: Unsupported pragma: Check
-Nkind: N_Pragma
---
-Occurs: 22 times
+Occurs: 21 times
 Calling function: Process_Declaration
 Error message: Representation clause unsupported: component_size
 Nkind: N_Attribute_Definition_Clause
 --
-Occurs: 21 times
-Calling function: Process_Declaration
-Error message: Package body declaration
-Nkind: N_Package_Body
---
-Occurs: 20 times
+Occurs: 18 times
 Calling function: Process_Declaration
 Error message: Exception declaration
 Nkind: N_Exception_Declaration
 --
-Occurs: 20 times
-Calling function: Process_Pragma_Declaration
-Error message: Unsupported pragma: Precondition
-Nkind: N_Pragma
---
-Occurs: 15 times
+Occurs: 18 times
 Calling function: Process_Declaration
-Error message: Unknown declaration kind
-Nkind: N_Null_Statement
---
-Occurs: 15 times
-Calling function: Process_Statement
-Error message: Unknown expression kind
-Nkind: N_Object_Declaration
+Error message: Package declaration
+Nkind: N_Package_Declaration
 --
-Occurs: 14 times
+Occurs: 17 times
 Calling function: Process_Declaration
-Error message: Generic instantiation declaration
-Nkind: N_Function_Instantiation
+Error message: Package body declaration
+Nkind: N_Package_Body
 --
-Occurs: 11 times
-Calling function: Do_Expression
-Error message: In
-Nkind: N_In
+Occurs: 16 times
+Calling function: Process_Pragma_Declaration
+Error message: Unsupported pragma: Precondition
+Nkind: N_Pragma
 --
 Occurs: 11 times
 Calling function: Process_Pragma_Declaration
 Error message: Unsupported pragma: Global
 Nkind: N_Pragma
 --
 Occurs: 9 times
-Calling function: Process_Declaration
-Error message: Unknown declaration kind
-Nkind: N_Validate_Unchecked_Conversion
---
-Occurs: 9 times
-Calling function: Process_Pragma_Declaration
-Error message: Unsupported pragma: Elaborate Body
-Nkind: N_Pragma
+Calling function: Do_Expression
+Error message: In
+Nkind: N_In
 --
-Occurs: 9 times
-Calling function: Process_Statement
-Error message: Raise statement
-Nkind: N_Raise_Statement
+Occurs: 7 times
+Calling function: Do_Expression
+Error message: Unknown expression kind
+Nkind: N_Null
 --
-Occurs: 8 times
+Occurs: 7 times
 Calling function: Process_Declaration
 Error message: Generic instantiation declaration
-Nkind: N_Package_Instantiation
+Nkind: N_Function_Instantiation
 --
-Occurs: 8 times
+Occurs: 7 times
 Calling function: Process_Declaration
 Error message: Representation clause unsupported: alignment
 Nkind: N_Attribute_Definition_Clause
 --
-Occurs: 8 times
-Calling function: Process_Pragma_Declaration
-Error message: Unsupported pragma: Obsolescent
-Nkind: N_Pragma
---
-Occurs: 7 times
-Calling function: Do_Expression
-Error message: Unknown expression kind
-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
---
 Occurs: 6 times
 Calling function: Do_Constant
 Error message: Constant Type not in symbol table
@@ -144,31 +94,26 @@ Error message: Generic instantiation declaration
 Nkind: N_Procedure_Instantiation
 --
 Occurs: 6 times
-Calling function: Process_Declaration
-Error message: Use type clause declaration
-Nkind: N_Use_Type_Clause
+Calling function: Process_Pragma_Declaration
+Error message: Unsupported pragma: Check
+Nkind: N_Pragma
 --
 Occurs: 6 times
 Calling function: Process_Pragma_Declaration
 Error message: Unsupported pragma: No return
 Nkind: N_Pragma
 --
-Occurs: 5 times
-Calling function: Do_Operator_General
-Error message: Concat unsupported
-Nkind: N_Op_Concat
+Occurs: 6 times
+Calling function: Process_Pragma_Declaration
+Error message: Unsupported pragma: Suppress initialization
+Nkind: N_Pragma
 --
 Occurs: 5 times
 Calling function: Do_Type_Definition
 Error message: Unknown expression kind
 Nkind: N_Access_Procedure_Definition
 --
 Occurs: 5 times
-Calling function: Process_Declaration
-Error message: Use package clause declaration
-Nkind: N_Use_Package_Clause
---
-Occurs: 5 times
 Calling function: Process_Pragma_Declaration
 Error message: Unsupported pragma: Ada 05
 Nkind: N_Pragma
@@ -183,17 +128,47 @@ Calling function: Process_Declaration
 Error message: Generic declaration
 Nkind: N_Generic_Package_Declaration
 --
+Occurs: 4 times
+Calling function: Process_Declaration
+Error message: Generic instantiation declaration
+Nkind: N_Package_Instantiation
+--
+Occurs: 4 times
+Calling function: Process_Statement
+Error message: Raise statement
+Nkind: N_Raise_Statement
+--
 Occurs: 3 times
 Calling function: Do_Expression
-Error message: Unknown expression kind
-Nkind: N_Expanded_Name
+Error message: Unknown attribute
+Nkind: N_Attribute_Reference
 --
 Occurs: 3 times
+Calling function: Process_Pragma_Declaration
+Error message: Unsupported pragma: Elaborate Body
+Nkind: N_Pragma
+--
+Occurs: 2 times
 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_Declaration
+Error message: Unknown declaration kind
+Nkind: N_Null_Statement
+--
+Occurs: 2 times
+Calling function: Process_Declaration
+Error message: Unknown declaration kind
+Nkind: N_Validate_Unchecked_Conversion
+--
+Occurs: 2 times
+Calling function: Process_Pragma_Declaration
+Error message: Unsupported pragma: Obsolescent
+Nkind: N_Pragma
+--
+Occurs: 2 times
 Calling function: Process_Pragma_Declaration
 Error message: Unsupported pragma: Warnings
 Nkind: N_Pragma
@@ -204,39 +179,9 @@ Error message: Unknown tree node
 Nkind: N_Compilation_Unit
 --
 Occurs: 1 times
-Calling function: Do_Constant
-Error message: Constant Type not in Class_Bitvector_Type
-Nkind: N_Integer_Literal
---
-Occurs: 1 times
-Calling function: Do_Function_Call
-Error message: function entity not defining identifier
-Nkind: N_Function_Call
---
-Occurs: 1 times
-Calling function: Do_Itype_Integer_Subtype
-Error message: Non-literal bound unsupported
-Nkind: N_Defining_Identifier
---
-Occurs: 1 times
-Calling function: Do_Pragma
-Error message: Unsupported pragma: Unreferenced
-Nkind: N_Pragma
---
-Occurs: 1 times
 Calling function: Process_Declaration
-Error message: Subprogram body stub declaration
-Nkind: N_Subprogram_Body_Stub
---
-Occurs: 1 times
-Calling function: Process_Statement
-Error message: Extended return statement
-Nkind: N_Extended_Return_Statement
---
-Occurs: 1 times
-Calling function: Process_Statement
-Error message: Unknown expression kind
-Nkind: N_Object_Renaming_Declaration
+Error message: Use package clause declaration
+Nkind: N_Use_Package_Clause
 --
 Occurs: 290 times
 Redacted compiler error message:

experiments/golden-results/Tokeneer-summary.txt

@@ -1,34 +1,14 @@
-Occurs: 84 times
+Occurs: 56 times
 Calling function: Process_Declaration
 Error message: Exception declaration
 Nkind: N_Exception_Declaration
 --
-Occurs: 21 times
-Calling function: Process_Declaration
-Error message: Representation clause unsupported: alignment
-Nkind: N_Attribute_Definition_Clause
---
-Occurs: 21 times
-Calling function: Process_Pragma_Declaration
-Error message: Unsupported pragma: Suppress initialization
-Nkind: N_Pragma
---
 Occurs: 14 times
 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
-Nkind: N_Expanded_Name
---
-Occurs: 9 times
+Occurs: 8 times
 Calling function: Do_Aggregate_Literal
 Error message: Unhandled aggregate kind
 Nkind: N_Aggregate
@@ -39,13 +19,8 @@ Error message: Abstract type declaration unsupported
 Nkind: N_Private_Type_Declaration
 --
 Occurs: 7 times
-Calling function: Process_Declaration
-Error message: Representation clause unsupported: component_size
-Nkind: N_Attribute_Definition_Clause
---
-Occurs: 7 times
 Calling function: Process_Pragma_Declaration
-Error message: Unsupported pragma: Ada 05
+Error message: Unsupported pragma: Preelaborable Initialization
 Nkind: N_Pragma
 --
 Occurs: 159 times