Skip to content

Commit fb6c7c5

Browse files
committed
Update golden results
1 parent d30d80a commit fb6c7c5

File tree

3 files changed

+11
-6
lines changed

3 files changed

+11
-6
lines changed

experiments/golden-results/StratoX-summary.txt

+1-1
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ Calling function: Process_Declaration
88
Error message: Unknown declaration kind
99
Nkind: N_Freeze_Generic_Entity
1010
--
11-
Occurs: 102 times
11+
Occurs: 104 times
1212
Calling function: Do_Function_Call
1313
Error message: func name not in symbol table
1414
Nkind: N_Function_Call

experiments/golden-results/Tokeneer-summary.txt

+5
Original file line numberDiff line numberDiff line change
@@ -1057,3 +1057,8 @@ Occurs: 1 times
10571057
Redacted compiler error message:
10581058
range must be preceded by subtype mark
10591059
Raw compiler error message:
1060+
--
1061+
Occurs: 1 times
1062+
+===========================GNAT BUG DETECTED==============================+
1063+
| GNU Ada (ada2goto) Assert_Failure failed precondition from arrays.ads:51 |
1064+
| Error detected at system.ads:156:5 |

experiments/golden-results/muen-summary.txt

+5-5
Original file line numberDiff line numberDiff line change
@@ -49,6 +49,11 @@ Error message: This type of library_unit is not yet handled
4949
Nkind: N_Generic_Subprogram_Declaration
5050
--
5151
Occurs: 9 times
52+
Calling function: Do_Function_Call
53+
Error message: func name not in symbol table
54+
Nkind: N_Function_Call
55+
--
56+
Occurs: 9 times
5257
Calling function: Do_Withed_Unit_Spec
5358
Error message: This type of library_unit is not yet handled
5459
Nkind: N_Generic_Package_Declaration
@@ -79,11 +84,6 @@ Error message: Constant Type not in symbol table
7984
Nkind: N_Integer_Literal
8085
--
8186
Occurs: 7 times
82-
Calling function: Do_Function_Call
83-
Error message: func name not in symbol table
84-
Nkind: N_Function_Call
85-
--
86-
Occurs: 7 times
8787
Calling function: Do_Itype_Integer_Subtype
8888
Error message: Non-literal bound unsupported
8989
Nkind: N_Defining_Identifier

0 commit comments

Comments
 (0)