gcc/testsuite/gnat.dg/array31.adb

   1 --  { dg-do run }
   2
   3 procedure Array31 is
   4
   5    type Boolean_Access is access Boolean;
   6
   7    type Boolean_Access_Array is
   8      array (Positive range <>) of not null Boolean_Access;
   9
  10    X : constant Boolean_Access_Array := (1 => new Boolean'(False));
  11    Y : constant Boolean_Access_Array := X & X;
  12
  13 begin
  14    null;
  15 end;