summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/specs/static_initializer.ads
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/gnat.dg/specs/static_initializer.ads')
-rw-r--r--gcc/testsuite/gnat.dg/specs/static_initializer.ads14
1 files changed, 14 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/specs/static_initializer.ads b/gcc/testsuite/gnat.dg/specs/static_initializer.ads
new file mode 100644
index 000000000..8755c30d1
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/specs/static_initializer.ads
@@ -0,0 +1,14 @@
+-- { dg-do compile }
+
+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" } }