summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/specs/static_initializer.ads
blob: cdf7db58ea9117a5fc8b41a16083cb92d03c90ba (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
-- { dg-do compile }
-- { dg-options "-cargs -S -margs" }

package static_initializer is

  type Vector is array (1 .. 3) of Float;
  type Arr is array (Integer range 1 .. 3) of Vector;

  Pos : constant Arr := ((0.0, 1.0, 2.0),
                         (0.5, 1.5, 2.5),
                         (1.0, 2.0, 4.0));

end;

-- { dg-final { scan-assembler-not "elabs" } }