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

   1 -- { dg-do compile }
   2
   3 package static_initializer is
   4
   5   type Vector is array (1 .. 3) of Float;
   6   type Arr is array (Integer range 1 .. 3) of Vector;
   7
   8   Pos : constant Arr := ((0.0, 1.0, 2.0),
   9                          (0.5, 1.5, 2.5),
  10                          (1.0, 2.0, 4.0));
  11
  12 end;
  13
  14 -- { dg-final { scan-assembler-not "elabs" } }