Update golden results

Author: NlightNFotis

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

@@ -3,11 +3,6 @@ Calling function: Process_Declaration
 Error message: Package declaration
 Nkind: N_Package_Declaration
 --
-Occurs: 10 times
-Calling function: Do_Base_Range_Constraint
-Error message: range expression not bitvector type
-Nkind: N_Range
---
 Occurs: 9 times
 Calling function: Process_Pragma_Declaration
 Error message: Unsupported pragma: Volatile

experiments/golden-results/StratoX-summary.txt

@@ -43,12 +43,12 @@ Calling function: Process_Declaration
 Error message: Generic instantiation declaration
 Nkind: N_Function_Instantiation
 --
-Occurs: 398 times
+Occurs: 394 times
 Calling function: Do_Expression
 Error message: Unknown expression kind
 Nkind: N_Expanded_Name
 --
-Occurs: 397 times
+Occurs: 394 times
 Calling function: Do_Function_Call
 Error message: func name not in symbol table
 Nkind: N_Function_Call
@@ -83,7 +83,7 @@ Calling function: Do_Type_Definition
 Error message: Access type unsupported
 Nkind: N_Access_To_Object_Definition
 --
-Occurs: 201 times
+Occurs: 200 times
 Calling function: Process_Declaration
 Error message: Use type clause declaration
 Nkind: N_Use_Type_Clause
@@ -113,7 +113,7 @@ Calling function: Process_Pragma_Declaration
 Error message: Unsupported pragma: Implementation defined
 Nkind: N_Pragma
 --
-Occurs: 103 times
+Occurs: 98 times
 Calling function: Do_Expression
 Error message: Unknown attribute
 Nkind: N_Attribute_Reference
@@ -133,12 +133,12 @@ Calling function: Process_Statement
 Error message: Raise statement
 Nkind: N_Raise_Statement
 --
-Occurs: 73 times
+Occurs: 70 times
 Calling function: Do_Constant
 Error message: Constant Type not in symbol table
 Nkind: N_Integer_Literal
 --
-Occurs: 71 times
+Occurs: 70 times
 Calling function: Do_Function_Call
 Error message: function entity not defining identifier
 Nkind: N_Function_Call
@@ -163,11 +163,6 @@ Calling function: Process_Declaration
 Error message: Use package clause declaration
 Nkind: N_Use_Package_Clause
 --
-Occurs: 63 times
-Calling function: Do_Base_Range_Constraint
-Error message: range expression not bitvector type
-Nkind: N_Range
---
 Occurs: 58 times
 Calling function: Do_Subprogram_Specification
 Error message: Param iter type not have etype
@@ -208,21 +203,11 @@ Calling function: Process_Declaration
 Error message: Exception declaration
 Nkind: N_Exception_Declaration
 --
-Occurs: 26 times
-Calling function: Do_Procedure_Call_Statement
-Error message: sym id not in symbol table
-Nkind: N_Procedure_Call_Statement
---
 Occurs: 20 times
 Calling function: Process_Pragma_Declaration
 Error message: Unsupported pragma: Obsolescent
 Nkind: N_Pragma
 --
-Occurs: 19 times
-Calling function: Do_Base_Range_Constraint
-Error message: unsupported lower range kind
-Nkind: N_Identifier
---
 Occurs: 17 times
 Calling function: Process_Declaration
 Error message: Generic instantiation declaration
@@ -274,6 +259,11 @@ Error message: Wrong nkind of name
 Nkind: N_Procedure_Call_Statement
 --
 Occurs: 9 times
+Calling function: Do_Procedure_Call_Statement
+Error message: sym id not in symbol table
+Nkind: N_Procedure_Call_Statement
+--
+Occurs: 9 times
 Calling function: Process_Pragma_Declaration
 Error message: Unsupported pragma: No return
 Nkind: N_Pragma
@@ -369,11 +359,6 @@ Error message: Unknown expression kind
 Nkind: N_Object_Declaration
 --
 Occurs: 2 times
-Calling function: Do_Base_Range_Constraint
-Error message: unsupported upper range kind
-Nkind: N_Identifier
---
-Occurs: 2 times
 Calling function: Do_Constant
 Error message: Constant Type not in Class_Bitvector_Type
 Nkind: N_Integer_Literal

experiments/golden-results/Tokeneer-summary.txt

@@ -99,16 +99,6 @@ Error message: Representation clause declaration
 Nkind: N_Enumeration_Representation_Clause
 --
 Occurs: 8 times
-Calling function: Do_Base_Range_Constraint
-Error message: range expression not bitvector type
-Nkind: N_Range
---
-Occurs: 8 times
-Calling function: Do_Base_Range_Constraint
-Error message: unsupported upper range kind
-Nkind: N_Identifier
---
-Occurs: 8 times
 Calling function: Process_Declaration
 Error message: Generic instantiation declaration
 Nkind: N_Function_Instantiation

experiments/golden-results/UKNI-Information-Barrier-summary.txt

@@ -14,11 +14,6 @@ Error message: Unknown Ekind
 Nkind: N_Defining_Identifier
 --
 Occurs: 2 times
-Calling function: Do_Base_Range_Constraint
-Error message: range expression not bitvector type
-Nkind: N_Range
---
-Occurs: 2 times
 Calling function: Process_Pragma_Declaration
 Error message: Unsupported pragma: Implementation defined
 Nkind: N_Pragma

experiments/golden-results/libkeccak-summary.txt

@@ -13,16 +13,11 @@ Calling function: Process_Pragma_Declaration
 Error message: Unsupported pragma: Global
 Nkind: N_Pragma
 --
-Occurs: 181 times
+Occurs: 175 times
 Calling function: Do_Function_Call
 Error message: func name not in symbol table
 Nkind: N_Function_Call
 --
-Occurs: 123 times
-Calling function: Do_Procedure_Call_Statement
-Error message: sym id not in symbol table
-Nkind: N_Procedure_Call_Statement
---
 Occurs: 103 times
 Calling function: Do_Constant
 Error message: Constant Type not in symbol table
@@ -78,6 +73,11 @@ Calling function: Process_Pragma_Declaration
 Error message: Unsupported pragma: Suppress initialization
 Nkind: N_Pragma
 --
+Occurs: 17 times
+Calling function: Do_Procedure_Call_Statement
+Error message: sym id not in symbol table
+Nkind: N_Procedure_Call_Statement
+--
 Occurs: 16 times
 Calling function: Do_Itype_Integer_Subtype
 Error message: Non-literal bound unsupported

experiments/golden-results/muen-summary.txt

@@ -99,11 +99,6 @@ Error message: Unsupported pragma: Initializes
 Nkind: N_Pragma
 --
 Occurs: 11 times
-Calling function: Do_Constant
-Error message: Constant Type not in symbol table
-Nkind: N_Integer_Literal
---
-Occurs: 11 times
 Calling function: Do_Type_Definition
 Error message: Unknown expression kind
 Nkind: N_Access_Function_Definition
@@ -114,26 +109,26 @@ Error message: Unsupported pragma: Postcondition
 Nkind: N_Pragma
 --
 Occurs: 10 times
+Calling function: Do_Constant
+Error message: Constant Type not in symbol table
+Nkind: N_Integer_Literal
+--
+Occurs: 10 times
 Calling function: Process_Declaration
 Error message: Package declaration
 Nkind: N_Package_Declaration
 --
-Occurs: 9 times
-Calling function: Do_Function_Call
-Error message: func name not in symbol table
-Nkind: N_Function_Call
---
-Occurs: 8 times
-Calling function: Do_Base_Range_Constraint
-Error message: range expression not bitvector type
-Nkind: N_Range
---
 Occurs: 7 times
 Calling function: Do_Expression
 Error message: Unknown expression kind
 Nkind: N_Expanded_Name
 --
 Occurs: 7 times
+Calling function: Do_Function_Call
+Error message: func name not in symbol table
+Nkind: N_Function_Call
+--
+Occurs: 7 times
 Calling function: Process_Declaration
 Error message: Generic instantiation declaration
 Nkind: N_Function_Instantiation
@@ -184,11 +179,6 @@ Error message: Unknown expression kind
 Nkind: N_Object_Declaration
 --
 Occurs: 3 times
-Calling function: Do_Procedure_Call_Statement
-Error message: sym id not in symbol table
-Nkind: N_Procedure_Call_Statement
---
-Occurs: 3 times
 Calling function: Process_Declaration
 Error message: Generic declaration
 Nkind: N_Generic_Subprogram_Declaration
@@ -230,11 +220,6 @@ Nkind: N_Object_Renaming_Declaration
 --
 Occurs: 1 times
 Calling function: Do_Base_Range_Constraint
-Error message: unsupported lower range kind
-Nkind: N_Identifier
---
-Occurs: 1 times
-Calling function: Do_Base_Range_Constraint
 Error message: unsupported upper range kind
 Nkind: N_Op_Divide
 --
@@ -259,6 +244,11 @@ Error message: Exponentiation unhandled for non mod types at the moment
 Nkind: N_Op_Expon
 --
 Occurs: 1 times
+Calling function: Do_Procedure_Call_Statement
+Error message: sym id not in symbol table
+Nkind: N_Procedure_Call_Statement
+--
+Occurs: 1 times
 Calling function: Process_Declaration
 Error message: Use package clause declaration
 Nkind: N_Use_Package_Clause

experiments/golden-results/vct-summary.txt

@@ -3,11 +3,6 @@ Calling function: Process_Declaration
 Error message: Exception declaration
 Nkind: N_Exception_Declaration
 --
-Occurs: 32 times
-Calling function: Do_Base_Range_Constraint
-Error message: unsupported upper range kind
-Nkind: N_Identifier
---
 Occurs: 18 times
 Calling function: Do_Operator_General
 Error message: Concat unsupported
@@ -127,3 +122,13 @@ Occurs: 1 times
 +===========================GNAT BUG DETECTED==============================+
 | GNU Ada (ada2goto) Assert_Failure failed precondition from range_check.ads:29|
 | Error detected at system.ads:156:5                                       |
+--
+Occurs: 1 times
++===========================GNAT BUG DETECTED==============================+
+| GNU Ada (ada2goto) Assert_Failure failed precondition from range_check.ads:29|
+| Error detected at system.ads:156:5                                       |
+--
+Occurs: 1 times
++===========================GNAT BUG DETECTED==============================+
+| GNU Ada (ada2goto) Assert_Failure failed precondition from range_check.ads:29|
+| Error detected at system.ads:156:5                                       |