Update golden results.

Author: tjj2017

experiments/golden-results/StratoX-summary.txt

@@ -13,11 +13,6 @@ Calling function: Process_Declaration
 Error message: Unknown declaration kind
 Nkind: N_Validate_Unchecked_Conversion
 --
-Occurs: 202 times
-Calling function: Process_Pragma_Declaration
-Error message: Unsupported pragma: Suppress initialization
-Nkind: N_Pragma
---
 Occurs: 153 times
 Calling function: Process_Pragma_Declaration
 Error message: Unsupported pragma: Postcondition
@@ -189,6 +184,11 @@ Error message: Unsupported pragma: Refine
 Nkind: N_Pragma
 --
 Occurs: 1 times
+Calling function: Process_Pragma_Declaration
+Error message: Unsupported pragma: Suppress initialization
+Nkind: N_Pragma
+--
+Occurs: 1 times
 Calling function: Process_Statement
 Error message: Unknown expression kind
 Nkind: N_Object_Renaming_Declaration

experiments/golden-results/Tokeneer-summary.txt

@@ -1,8 +1,3 @@
-Occurs: 21 times
-Calling function: Process_Pragma_Declaration
-Error message: Unsupported pragma: Suppress initialization
-Nkind: N_Pragma
---
 Occurs: 9 times
 Calling function: Do_Aggregate_Literal
 Error message: Unhandled aggregate kind: E_PRIVATE_TYPE

experiments/golden-results/ksum-summary.txt

@@ -1,8 +1,3 @@
-Occurs: 3 times
-Calling function: Process_Pragma_Declaration
-Error message: Unsupported pragma: Suppress initialization
-Nkind: N_Pragma
---
 Occurs: 41 times
 Redacted compiler error message:
 file "REDACTED" not found

experiments/golden-results/libkeccak-summary.txt

@@ -18,11 +18,6 @@ Calling function: Process_Declaration
 Error message: Use type clause declaration
 Nkind: N_Use_Type_Clause
 --
-Occurs: 18 times
-Calling function: Process_Pragma_Declaration
-Error message: Unsupported pragma: Suppress initialization
-Nkind: N_Pragma
---
 Occurs: 2 times
 Calling function: Do_Expression
 Error message: ATTRIBUTE_ASM_OUTPUT unsupported

experiments/golden-results/libsparkcrypto-summary.txt

@@ -83,11 +83,6 @@ Calling function: Do_Expression
 Error message: ATTRIBUTE_ASM_OUTPUT unsupported
 Nkind: N_Attribute_Reference
 --
-Occurs: 2 times
-Calling function: Process_Pragma_Declaration
-Error message: Known but unsupported pragma: Linker Options
-Nkind: N_Pragma
---
 Occurs: 32 times
 Redacted compiler error message:
 file "REDACTED" not found

experiments/golden-results/vct-summary.txt

@@ -18,11 +18,6 @@ Calling function: Do_Expression
 Error message: ATTRIBUTE_COPY_SIGN unsupported
 Nkind: N_Attribute_Reference
 --
-Occurs: 6 times
-Calling function: Process_Pragma_Declaration
-Error message: Unsupported pragma: Suppress initialization
-Nkind: N_Pragma
---
 Occurs: 4 times
 Calling function: Process_Declaration
 Error message: size clause not applied by the front-end