Skip to content

Commit b93e86c

Browse files
tjj2017martin
tjj2017
authored and
martin
committed
Updated golden results.
Differences due to not attempting to translate generic bodies and changes to line numbers.
1 parent 1c81241 commit b93e86c

File tree

3 files changed

+22
-67
lines changed

3 files changed

+22
-67
lines changed

‎experiments/golden-results/StratoX-summary.txt

Lines changed: 17 additions & 52 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ Calling function: Process_Declaration
33
Error message: size clause not applied by the front-end
44
Nkind: N_Attribute_Definition_Clause
55
--
6-
Occurs: 379 times
6+
Occurs: 378 times
77
Calling function: Process_Pragma_Declaration
88
Error message: Unsupported pragma: Precondition
99
Nkind: N_Pragma
@@ -18,7 +18,7 @@ Calling function: Process_Pragma_Declaration
1818
Error message: Unsupported pragma: Suppress initialization
1919
Nkind: N_Pragma
2020
--
21-
Occurs: 153 times
21+
Occurs: 152 times
2222
Calling function: Process_Pragma_Declaration
2323
Error message: Unsupported pragma: Postcondition
2424
Nkind: N_Pragma
@@ -38,33 +38,33 @@ Calling function: Do_Expression
3838
Error message: Index of string unsupported
3939
Nkind: N_Indexed_Component
4040
--
41-
Occurs: 14 times
42-
Calling function: Process_Pragma_Declaration
43-
Error message: Unsupported pragma: Global
44-
Nkind: N_Pragma
45-
--
4641
Occurs: 13 times
4742
Calling function: Do_Expression
4843
Error message: Last of string unsupported
4944
Nkind: N_Attribute_Reference
5045
--
46+
Occurs: 13 times
47+
Calling function: Process_Pragma_Declaration
48+
Error message: Unsupported pragma: Global
49+
Nkind: N_Pragma
50+
--
5151
Occurs: 10 times
5252
Calling function: Do_Expression
5353
Error message: ATTRIBUTE_MACHINE unsupported
5454
Nkind: N_Attribute_Reference
5555
--
56-
Occurs: 10 times
57-
Calling function: Process_Pragma_Declaration
58-
Error message: Unsupported pragma: Check
59-
Nkind: N_Pragma
60-
--
6156
Occurs: 8 times
6257
Calling function: Do_Type_Reference
6358
Error message: Type of type not a type
6459
Nkind: N_Defining_Identifier
6560
--
6661
Occurs: 8 times
6762
Calling function: Process_Pragma_Declaration
63+
Error message: Unsupported pragma: Check
64+
Nkind: N_Pragma
65+
--
66+
Occurs: 8 times
67+
Calling function: Process_Pragma_Declaration
6868
Error message: Unsupported pragma: Obsolescent
6969
Nkind: N_Pragma
7070
--
@@ -79,11 +79,6 @@ Error message: Unknown pragma: ghost
7979
Nkind: N_Pragma
8080
--
8181
Occurs: 3 times
82-
Calling function: Do_Constant
83-
Error message: Unsupported constant type
84-
Nkind: N_Integer_Literal
85-
--
86-
Occurs: 3 times
8782
Calling function: Process_Declaration
8883
Error message: Address representation clauses are not currently supported
8984
Nkind: N_Attribute_Definition_Clause
@@ -119,9 +114,9 @@ Error message: unsupported lower range kind
119114
Nkind: N_Real_Literal
120115
--
121116
Occurs: 1 times
122-
Calling function: Do_Expression
123-
Error message: ATTRIBUTE_MACHINE_RADIX unsupported
124-
Nkind: N_Attribute_Reference
117+
Calling function: Do_Constant
118+
Error message: Unsupported constant type
119+
Nkind: N_Integer_Literal
125120
--
126121
Occurs: 1 times
127122
Calling function: Do_Expression
@@ -1718,11 +1713,6 @@ Occurs: 10 times
17181713
| GNU Ada (ada2goto) Assert_Failure sinfo.adb:495 |
17191714
Error detected at REDACTED
17201715
--
1721-
Occurs: 8 times
1722-
+===========================GNAT BUG DETECTED==============================+
1723-
| GNU Ada (ada2goto) Constraint_Error Symbol_Table_Info.Symbol_Maps.Constant_Reference: key not in map|
1724-
Error detected at REDACTED
1725-
--
17261716
Occurs: 7 times
17271717
+===========================GNAT BUG DETECTED==============================+
17281718
| GNU Ada (ada2goto) Assert_Failure failed precondition from goto_utils.ads:147|
@@ -1743,9 +1733,9 @@ Occurs: 3 times
17431733
| GNU Ada (ada2goto) Assert_Failure sinfo.adb:495 |
17441734
Error detected at REDACTED
17451735
--
1746-
Occurs: 3 times
1736+
Occurs: 2 times
17471737
+===========================GNAT BUG DETECTED==============================+
1748-
| GNU Ada (ada2goto) Assert_Failure tree_walk.adb:998 |
1738+
| GNU Ada (ada2goto) Constraint_Error Symbol_Table_Info.Symbol_Maps.Constant_Reference: key not in map|
17491739
Error detected at REDACTED
17501740
--
17511741
Occurs: 2 times
@@ -2203,35 +2193,10 @@ Occurs: 1 times
22032193
| GNU Ada (ada2goto) Assert_Failure sinfo.adb:394 |
22042194
Error detected at REDACTED
22052195
--
2206-
Occurs: 1 times
2207-
+===========================GNAT BUG DETECTED==============================+
2208-
| GNU Ada (ada2goto) Constraint_Error Symbol_Table_Info.Symbol_Maps.Constant_Reference: key not in map|
2209-
Error detected at REDACTED
2210-
--
2211-
Occurs: 1 times
2212-
+===========================GNAT BUG DETECTED==============================+
2213-
| GNU Ada (ada2goto) Constraint_Error Symbol_Table_Info.Symbol_Maps.Constant_Reference: key not in map|
2214-
Error detected at REDACTED
2215-
--
2216-
Occurs: 1 times
2217-
+===========================GNAT BUG DETECTED==============================+
2218-
| GNU Ada (ada2goto) Constraint_Error Symbol_Table_Info.Symbol_Maps.Constant_Reference: key not in map|
2219-
Error detected at REDACTED
2220-
--
2221-
Occurs: 1 times
2222-
+===========================GNAT BUG DETECTED==============================+
2223-
| GNU Ada (ada2goto) Constraint_Error Symbol_Table_Info.Symbol_Maps.Constant_Reference: key not in map|
2224-
Error detected at REDACTED
2225-
--
22262196
Occurs: 25 times
22272197
<========================>
22282198
raised SYSTEM.ASSERTIONS.ASSERT_FAILURE : failed precondition from goto_utils.ads:147
22292199

2230-
--
2231-
Occurs: 2 times
2232-
<========================>
2233-
raised CONSTRAINT_ERROR : Symbol_Table_Info.Symbol_Maps.Constant_Reference: key not in map
2234-
22352200
--
22362201
Occurs: 2 times
22372202
<========================>

‎experiments/golden-results/Tokeneer-summary.txt

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1035,7 +1035,7 @@ Error detected at REDACTED
10351035
--
10361036
Occurs: 2 times
10371037
+===========================GNAT BUG DETECTED==============================+
1038-
| GNU Ada (ada2goto) Assert_Failure failed precondition from tree_walk.ads:109|
1038+
| GNU Ada (ada2goto) Assert_Failure failed precondition from tree_walk.ads:108|
10391039
Error detected at REDACTED
10401040
--
10411041
Occurs: 1 times
@@ -1105,17 +1105,17 @@ Error detected at REDACTED
11051105
--
11061106
Occurs: 1 times
11071107
+===========================GNAT BUG DETECTED==============================+
1108-
| GNU Ada (ada2goto) Assert_Failure failed precondition from tree_walk.ads:109|
1108+
| GNU Ada (ada2goto) Assert_Failure failed precondition from tree_walk.ads:108|
11091109
Error detected at REDACTED
11101110
--
11111111
Occurs: 1 times
11121112
+===========================GNAT BUG DETECTED==============================+
1113-
| GNU Ada (ada2goto) Assert_Failure failed precondition from tree_walk.ads:109|
1113+
| GNU Ada (ada2goto) Assert_Failure failed precondition from tree_walk.ads:108|
11141114
Error detected at REDACTED
11151115
--
11161116
Occurs: 1 times
11171117
+===========================GNAT BUG DETECTED==============================+
1118-
| GNU Ada (ada2goto) Assert_Failure failed precondition from tree_walk.ads:109|
1118+
| GNU Ada (ada2goto) Assert_Failure failed precondition from tree_walk.ads:108|
11191119
Error detected at REDACTED
11201120
--
11211121
Occurs: 1 times

‎experiments/golden-results/muen-summary.txt

Lines changed: 1 addition & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -99,11 +99,6 @@ Error message: Unhandled aggregate kind: E_RECORD_TYPE_WITH_PRIVATE
9999
Nkind: N_Aggregate
100100
--
101101
Occurs: 1 times
102-
Calling function: Do_Constant
103-
Error message: Unsupported constant type
104-
Nkind: N_Integer_Literal
105-
--
106-
Occurs: 1 times
107102
Calling function: Do_Expression
108103
Error message: ATTRIBUTE_MIN unsupported
109104
Nkind: N_Attribute_Reference
@@ -2973,11 +2968,6 @@ Occurs: 3 times
29732968
| GNU Ada (ada2goto) Assert_Failure failed precondition from goto_utils.ads:147|
29742969
Error detected at REDACTED
29752970
--
2976-
Occurs: 3 times
2977-
+===========================GNAT BUG DETECTED==============================+
2978-
| GNU Ada (ada2goto) Constraint_Error Symbol_Table_Info.Symbol_Maps.Constant_Reference: key not in map|
2979-
Error detected at REDACTED
2980-
--
29812971
Occurs: 2 times
29822972
+===========================GNAT BUG DETECTED==============================+
29832973
| GNU Ada (ada2goto) Assert_Failure failed precondition from ireps.ads:1784|
@@ -3185,7 +3175,7 @@ Error detected at REDACTED
31853175
--
31863176
Occurs: 1 times
31873177
+===========================GNAT BUG DETECTED==============================+
3188-
| GNU Ada (ada2goto) Assert_Failure failed precondition from tree_walk.ads:109|
3178+
| GNU Ada (ada2goto) Assert_Failure failed precondition from tree_walk.ads:108|
31893179
Error detected at REDACTED
31903180
--
31913181
Occurs: 1 times

0 commit comments

Comments
 (0)