gcc/testsuite/gnat.dg/addr9_1.adb

   1 -- { dg-do compile }
   2
   3 with Ada.Streams; use Ada.Streams;
   4
   5 procedure Addr9_1 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 : aliased 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;
  36    end Set;
  37
  38 begin
  39    null;
  40 end;