gcc/testsuite/gnat.dg/array31.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

--  { dg-do run }

procedure Array31 is

   type Boolean_Access is access Boolean;

   type Boolean_Access_Array is
     array (Positive range <>) of not null Boolean_Access;

   X : constant Boolean_Access_Array := (1 => new Boolean'(False));
   Y : constant Boolean_Access_Array := X & X;

begin
   null;
end;