Skip to content

Commit 912bd66

Browse files
Update golden results
1 parent 2e5c86f commit 912bd66

File tree

2 files changed

+12
-22
lines changed

2 files changed

+12
-22
lines changed

experiments/golden-results/StratoX-summary.txt

Lines changed: 5 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -154,6 +154,11 @@ Error message: Unsupported pragma: No return
154154
Nkind: N_Pragma
155155
--
156156
Occurs: 5 times
157+
Calling function: Do_Expression
158+
Error message: Unknown expression kind
159+
Nkind: N_Expanded_Name
160+
--
161+
Occurs: 5 times
157162
Calling function: Do_Operator_General
158163
Error message: Concat unsupported
159164
Nkind: N_Op_Concat
@@ -184,11 +189,6 @@ Error message: Generic declaration
184189
Nkind: N_Generic_Package_Declaration
185190
--
186191
Occurs: 3 times
187-
Calling function: Do_Expression
188-
Error message: Unknown expression kind
189-
Nkind: N_Expanded_Name
190-
--
191-
Occurs: 3 times
192192
Calling function: Do_Procedure_Call_Statement
193193
Error message: sym id not in symbol table
194194
Nkind: N_Procedure_Call_Statement
@@ -219,11 +219,6 @@ Error message: Unsupported pragma: Unreferenced
219219
Nkind: N_Pragma
220220
--
221221
Occurs: 1 times
222-
Calling function: Process_Declaration
223-
Error message: Subprogram body stub declaration
224-
Nkind: N_Subprogram_Body_Stub
225-
--
226-
Occurs: 1 times
227222
Calling function: Process_Statement
228223
Error message: Extended return statement
229224
Nkind: N_Extended_Return_Statement

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

Lines changed: 7 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -1,19 +1,9 @@
1-
Occurs: 7 times
2-
Calling function: Process_Declaration
3-
Error message: Subprogram body stub declaration
4-
Nkind: N_Subprogram_Body_Stub
5-
--
6-
Occurs: 6 times
1+
Occurs: 27 times
72
Calling function: Do_Expression
83
Error message: Unknown expression kind
94
Nkind: N_Expanded_Name
105
--
11-
Occurs: 5 times
12-
Calling function: Do_Procedure_Call_Statement
13-
Error message: sym id not in symbol table
14-
Nkind: N_Procedure_Call_Statement
15-
--
16-
Occurs: 2 times
6+
Occurs: 3 times
177
Calling function: Do_While_Statement
188
Error message: Wrong Nkind spec
199
Nkind: N_Loop_Statement
@@ -28,6 +18,11 @@ Calling function: Do_Base_Range_Constraint
2818
Error message: unsupported upper range kind
2919
Nkind: N_Attribute_Reference
3020
--
21+
Occurs: 1 times
22+
Calling function: Do_Expression
23+
Error message: Unknown expression kind
24+
Nkind: N_Range
25+
--
3126
Occurs: 5 times
3227
Redacted compiler error message:
3328
"REDACTED" not declared in "REDACTED"

0 commit comments

Comments
 (0)