Update golden results

Author: Petr Bauch

experiments/golden-results/StratoX-summary.txt

@@ -128,6 +128,11 @@ Calling function: Do_Expression
 Error message: In
 Nkind: N_In
 --
+Occurs: 84 times
+Calling function: Do_Withed_Unit_Spec
+Error message: This type of library_unit is not yet handled
+Nkind: N_Generic_Subprogram_Declaration
+--
 Occurs: 74 times
 Calling function: Process_Statement
 Error message: Raise statement
@@ -178,6 +183,11 @@ Calling function: Do_Aggregate_Literal_Record
 Error message: Actual iter not present
 Nkind: N_Aggregate
 --
+Occurs: 46 times
+Calling function: Do_Withed_Unit_Spec
+Error message: This type of library_unit is not yet handled
+Nkind: N_Generic_Package_Declaration
+--
 Occurs: 45 times
 Calling function: Process_Pragma_Declaration
 Error message: Unsupported pragma: Abstract state

experiments/golden-results/Tokeneer-summary.txt

@@ -128,6 +128,11 @@ Calling function: Process_Statement
 Error message: Unknown expression kind
 Nkind: N_Object_Declaration
 --
+Occurs: 6 times
+Calling function: Do_Withed_Unit_Spec
+Error message: This type of library_unit is not yet handled
+Nkind: N_Generic_Subprogram_Declaration
+--
 Occurs: 5 times
 Calling function: Do_Type_Definition
 Error message: Unknown expression kind

experiments/golden-results/ksum-summary.txt

@@ -39,6 +39,11 @@ Error message: Unknown expression kind
 Nkind: N_Access_Function_Definition
 --
 Occurs: 1 times
+Calling function: Do_Withed_Unit_Spec
+Error message: This type of library_unit is not yet handled
+Nkind: N_Generic_Package_Declaration
+--
+Occurs: 1 times
 Calling function: Process_Pragma_Declaration
 Error message: Unsupported pragma: Ada 2012
 Nkind: N_Pragma

experiments/golden-results/libkeccak-summary.txt

@@ -28,6 +28,11 @@ Calling function: Do_Function_Call
 Error message: function entity not defining identifier
 Nkind: N_Function_Call
 --
+Occurs: 140 times
+Calling function: Do_Withed_Unit_Spec
+Error message: This type of library_unit is not yet handled
+Nkind: N_Generic_Package_Declaration
+--
 Occurs: 123 times
 Calling function: Do_Procedure_Call_Statement
 Error message: sym id not in symbol table
@@ -194,6 +199,11 @@ Error message: In
 Nkind: N_In
 --
 Occurs: 1 times
+Calling function: Do_Withed_Unit_Spec
+Error message: This type of library_unit is not yet handled
+Nkind: N_Generic_Subprogram_Declaration
+--
+Occurs: 1 times
 Calling function: Process_Declaration
 Error message: Generic declaration
 Nkind: N_Generic_Subprogram_Declaration

experiments/golden-results/libsparkcrypto-summary.txt

@@ -93,6 +93,11 @@ Calling function: Process_Statement
 Error message: Unknown expression kind
 Nkind: N_Object_Declaration
 --
+Occurs: 2 times
+Calling function: Do_Withed_Unit_Spec
+Error message: This type of library_unit is not yet handled
+Nkind: N_Generic_Subprogram_Declaration
+--
 Occurs: 32 times
 Redacted compiler error message:
 file "REDACTED" not found

experiments/golden-results/muen-summary.txt

@@ -114,6 +114,11 @@ Error message: Unsupported pragma: Postcondition
 Nkind: N_Pragma
 --
 Occurs: 10 times
+Calling function: Do_Withed_Unit_Spec
+Error message: This type of library_unit is not yet handled
+Nkind: N_Generic_Subprogram_Declaration
+--
+Occurs: 10 times
 Calling function: Process_Declaration
 Error message: Package declaration
 Nkind: N_Package_Declaration
@@ -123,6 +128,11 @@ Calling function: Do_Function_Call
 Error message: func name not in symbol table
 Nkind: N_Function_Call
 --
+Occurs: 9 times
+Calling function: Do_Withed_Unit_Spec
+Error message: This type of library_unit is not yet handled
+Nkind: N_Generic_Package_Declaration
+--
 Occurs: 8 times
 Calling function: Do_Base_Range_Constraint
 Error message: range expression not bitvector type
@@ -209,6 +219,11 @@ Error message: Unhandled aggregate kind
 Nkind: N_Aggregate
 --
 Occurs: 2 times
+Calling function: Do_Withed_Unit_Spec
+Error message: This type of library_unit is not yet handled
+Nkind: N_Package_Renaming_Declaration
+--
+Occurs: 2 times
 Calling function: Process_Declaration
 Error message: Unknown declaration kind
 Nkind: N_Validate_Unchecked_Conversion

experiments/golden-results/vct-summary.txt

@@ -64,6 +64,11 @@ Error message: func name not in symbol table
 Nkind: N_Function_Call
 --
 Occurs: 1 times
+Calling function: Do_Withed_Unit_Spec
+Error message: This type of library_unit is not yet handled
+Nkind: N_Generic_Package_Declaration
+--
+Occurs: 1 times
 Calling function: Process_Declaration
 Error message: Generic instantiation declaration
 Nkind: N_Package_Instantiation