|
1 | 1 | Standard_Output from gnat2goto indefinite_size:
|
2 |
| -----------At: Do_Expression---------- |
| 2 | +----------At: Do_Attribute_Size---------- |
3 | 3 | ----------Size attribute applied to indefinite type is implementation defined----------
|
4 |
| -N_Defining_Identifier "a" (Entity_Id=2259) (source,analyzed) |
5 |
| - Parent = N_Full_Type_Declaration (Node_Id=2270) |
6 |
| - Sloc = 8308 indefinite_size.adb:5:9 |
| 4 | +N_Identifier "a" (Node_Id=2274) (source) |
| 5 | + Parent = N_Attribute_Reference (Node_Id=2319) |
| 6 | + Sloc = 8418 indefinite_size.adb:8:19 |
7 | 7 | Chars = "a" (Name_Id=300000099)
|
8 |
| - Next_Entity = N_Defining_Operator_Symbol "Oconcat" (Entity_Id=2290) |
9 |
| - Scope = N_Defining_Identifier "indefinite_size" (Entity_Id=2245) |
10 |
| - Ekind = E_Array_Type |
11 | 8 | Etype = N_Defining_Identifier "a" (Entity_Id=2259)
|
12 |
| - Freeze_Node = N_Freeze_Entity (Node_Id=2311) |
13 |
| - Esize = 0 (Uint = 600032768) |
14 |
| - RM_Size = 0 (Uint = 600032768) |
15 |
| - Alignment = 0 (Uint = 600032768) |
16 |
| - First_Index = N_Identifier "positive" (Node_Id=2266) |
17 |
| - Component_Type = N_Defining_Identifier "integer" (Entity_Id=37s) |
18 |
| - Component_Size = 32 (Uint = 600032800) |
19 |
| - Component_Alignment = Calign_Default |
20 |
| - Has_Delayed_Freeze = True |
21 |
| - Has_Qualified_Name = True |
22 |
| - Has_Xref_Entry = True |
23 |
| - Is_First_Subtype = True |
24 |
| - Is_Frozen = True |
25 |
| - Needs_Debug_Info = True |
26 |
| - Referenced = True |
| 9 | + Entity = N_Defining_Identifier "a" (Entity_Id=2259) |
| 10 | + Associated_Node = N_Defining_Identifier "a" (Entity_Id=2259) |
27 | 11 |
|
28 | 12 | [indefinite_size.assertion.1] line 8 assertion A'Size = 21: FAILURE
|
29 | 13 | VERIFICATION FAILED
|
0 commit comments