2 -- { dg-options "-gnatwr" }
6 type Item_Type
is record
10 type Index_Type
is (A
, B
);
12 type table
is array (integer range <>) of integer;
13 subtype Small
is Integer range 1 .. 10;
14 T1
: constant Table
(Small
) := (Small
=> 0);
15 T2
: constant Table
(Small
) := T1
(Small
); -- { dg-warning "redundant slice denotes whole array" }
17 Item_Array
: constant array (Index_Type
) of Item_Type
18 := (A
=> (I
=> 10), B
=> (I
=> 22));
21 for Item
'Address use Item_Array
(Index_Type
)'Address; -- { dg-warning "redundant slice denotes whole array" }