gcc/testsuite/gnat.dg/specs/aggr2.ads

   1 -- { dg-do compile }
   2
   3 package Aggr2 is
   4
   5    type Buffer is array (Positive range <>) of Boolean;
   6    for Buffer'Alignment use 4;
   7
   8    type Buffer_Ptr is access Buffer;
   9
  10    subtype My_Buffer is Buffer (1 .. 2);
  11
  12    P : Buffer_Ptr := new My_Buffer'(Others => False);
  13
  14 end Aggr2;