| -- { dg-do compile } | |
| -- { dg-options "-gnatws" } | |
| procedure Addr_Slice is | |
| type Item_Type is record | |
| I : Integer; | |
| end record; | |
| type Index_Type is (A, B); | |
| for Index_Type use (A => 1, B => 10); | |
| Item_Array : constant array (Index_Type) of Item_Type | |
| := (A => (I => 10), B => (I => 22)); | |
| Item : Item_Type; | |
| for Item'Address use Item_Array(Index_Type)'Address; | |
| begin | |
| null; | |
| end; |