diff options
Diffstat (limited to 'gcc-4.9/gcc/testsuite/gnat.dg/specs/static_initializer2.ads')
-rw-r--r-- | gcc-4.9/gcc/testsuite/gnat.dg/specs/static_initializer2.ads | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gnat.dg/specs/static_initializer2.ads b/gcc-4.9/gcc/testsuite/gnat.dg/specs/static_initializer2.ads new file mode 100644 index 000000000..3b27f26bd --- /dev/null +++ b/gcc-4.9/gcc/testsuite/gnat.dg/specs/static_initializer2.ads @@ -0,0 +1,22 @@ +-- { dg-do compile } + +package Static_Initializer2 is + + type A is array (1..5) of Integer; + f : constant A := (1, 2, 3, 4, 5); + + i1 : integer renames f(1); + i2 : integer renames f(2); + i3 : integer renames f(3); + i4 : integer renames f(4); + i5 : integer renames f(5); + + b1 : boolean := i1 = 1; + b2 : boolean := i2 = 2; + b3 : boolean := i3 = 3; + b4 : boolean := i4 = 4; + b5 : boolean := i5 = 5; + +end Static_Initializer2; + +-- { dg-final { scan-assembler-not "elabs" } } |