gcc-4.9/gcc/testsuite/gnat.dg/specs/aggr1.ads


1
2
3
4
5
6
7
8

-- { dg-do compile }

package aggr1 is
   type Buffer_Array is array (1 .. 2 ** 23) of Integer;
   type Message is record
      Data : Buffer_Array := (others => 0);
   end record;
end;