41 lines
854 B
Ada
41 lines
854 B
Ada
-- { dg-do compile }
|
|
|
|
with Ada.Streams; use Ada.Streams;
|
|
|
|
procedure Addr9_2 is
|
|
|
|
type Signal_Type is mod 2 ** 16;
|
|
|
|
type A_Item is record
|
|
I : Signal_Type;
|
|
Q : Signal_Type;
|
|
end record
|
|
with Size => 32;
|
|
|
|
for A_Item use record
|
|
I at 0 range 0 .. 15;
|
|
Q at 2 range 0 .. 15;
|
|
end record;
|
|
|
|
type A_Array_Type is
|
|
array (Positive range <>)
|
|
of A_Item
|
|
with Alignment => 16;
|
|
|
|
pragma Pack (A_Array_Type);
|
|
|
|
type B_Array_Type is new Ada.Streams.Stream_Element_Array
|
|
with Alignment => 16;
|
|
|
|
Ct_Count : constant := 7_000;
|
|
|
|
package Set is
|
|
A : A_Array_Type := (1 .. Ct_Count => <>);
|
|
B : aliased B_Array_Type := (1 .. Ct_Count * A_Item'Size / 8 => <>);
|
|
for B'Address use A'Address; -- { dg-warning "aliased object" }
|
|
end Set;
|
|
|
|
begin
|
|
null;
|
|
end;
|