diff options
author | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-04-07 09:47:43 +0000 |
---|---|---|
committer | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-04-07 09:47:43 +0000 |
commit | 27e9f331542a274cf27cb1b4cb7f60f01e90d1fb (patch) | |
tree | 5f52e504245f353cbf4c7ab73aff6c9c36257959 /gcc/testsuite/gnat.dg/specs/static_initializer2.ads | |
parent | ff3ae3759a5c80c7783090c3a26cee5a29862b34 (diff) | |
download | gcc-27e9f331542a274cf27cb1b4cb7f60f01e90d1fb.tar.gz |
* fold-const.c (fold) <ARRAY_REF>: New case. Try to fold constant
reference in constructor with non self-referential type.
ada/
* utils2.c (build_binary_op): Fold ARRAY_REF and ARRAY_RANGE_REF too.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@133977 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/testsuite/gnat.dg/specs/static_initializer2.ads')
-rw-r--r-- | gcc/testsuite/gnat.dg/specs/static_initializer2.ads | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/specs/static_initializer2.ads b/gcc/testsuite/gnat.dg/specs/static_initializer2.ads new file mode 100644 index 00000000000..3b27f26bde7 --- /dev/null +++ b/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" } } |