1-- { dg-do compile }
2
3with Ada.Streams; use Ada.Streams;
4
5procedure Addr9_2 is
6
7   type Signal_Type is mod 2 ** 16;
8
9   type A_Item is record
10      I : Signal_Type;
11      Q : Signal_Type;
12   end record
13   with Size => 32;
14
15   for A_Item use record
16      I at 0 range 0 .. 15;
17      Q at 2 range 0 .. 15;
18   end record;
19
20   type A_Array_Type is
21     array (Positive range <>)
22     of A_Item
23   with Alignment => 16;
24
25   pragma Pack (A_Array_Type);
26
27   type B_Array_Type is new Ada.Streams.Stream_Element_Array
28   with Alignment => 16;
29
30   Ct_Count : constant := 7_000;
31
32   package Set is
33      A : A_Array_Type := (1 .. Ct_Count => <>);
34      B : aliased B_Array_Type := (1 .. Ct_Count * A_Item'Size / 8 => <>);
35      for B'Address use A'Address; -- { dg-warning "aliased object" }
36   end Set;
37
38begin
39   null;
40end;
41