Skip to content

Commit 94ef023

Browse files
committed
Update golden results
1 parent 873214e commit 94ef023

File tree

3 files changed

+12
-7
lines changed

3 files changed

+12
-7
lines changed

experiments/golden-results/StratoX-summary.txt

Lines changed: 2 additions & 2 deletions
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
@@ -23,7 +23,7 @@ Calling function: Do_Type_Definition
2323
Error message: Access type unsupported
2424
Nkind: N_Access_To_Object_Definition
2525
--
26-
Occurs: 42 times
26+
Occurs: 39 times
2727
Calling function: Do_Expression
2828
Error message: Unknown attribute
2929
Nkind: N_Attribute_Reference

experiments/golden-results/Tokeneer-summary.txt

Lines changed: 5 additions & 0 deletions
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

Lines changed: 5 additions & 5 deletions
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)