diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2010-05-08 12:06:57 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2010-05-08 12:06:57 +0000 |
| commit | f56000ede5802f86b8ab00443090eb6ec3488773 (patch) | |
| tree | 57e6668227eb70406d56df0c6b6cd2991214eb57 /gcc/testsuite | |
| parent | 901ad63f3070d0f561f205618cc830486af365fb (diff) | |
| download | gcc-f56000ede5802f86b8ab00443090eb6ec3488773.zip gcc-f56000ede5802f86b8ab00443090eb6ec3488773.tar.gz gcc-f56000ede5802f86b8ab00443090eb6ec3488773.tar.bz2 | |
gimple.c (gimple_types_compatible_p): Treat bounds of domain types as equal if they are both PLACEHOLDER_EXPRs.
* gimple.c (gimple_types_compatible_p) <ARRAY_TYPE>: Treat bounds of
domain types as equal if they are both PLACEHOLDER_EXPRs.
From-SVN: r159185
Diffstat (limited to 'gcc/testsuite')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/lto6.adb | 11 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/lto6_pkg.ads | 8 |
3 files changed, 24 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 85dd6b9d..b0d26f1 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2010-05-08 Eric Botcazou <ebotcazou@adacore.com> + * gnat.dg/lto6.adb: New test. + * gnat.dg/lto6_pkg.ads: New helper. + +2010-05-08 Eric Botcazou <ebotcazou@adacore.com> + * gnat.dg/lto5.adb: New test. * gnat.dg/lto5_pkg.ad[sb]: New helper. diff --git a/gcc/testsuite/gnat.dg/lto6.adb b/gcc/testsuite/gnat.dg/lto6.adb new file mode 100644 index 0000000..f3d4841 --- /dev/null +++ b/gcc/testsuite/gnat.dg/lto6.adb @@ -0,0 +1,11 @@ +-- { dg-do run } +-- { dg-options "-gnat05 -O2 -flto" } + +with Lto6_Pkg; use Lto6_Pkg; + +procedure Lto6 is + type Enum is (A, B, C, D); + Table : array (B .. C, 1 .. 1) of F_String := (others => (others => Null_String)); +begin + Table := (others => (others => Null_String)); +end; diff --git a/gcc/testsuite/gnat.dg/lto6_pkg.ads b/gcc/testsuite/gnat.dg/lto6_pkg.ads new file mode 100644 index 0000000..81b7ddc --- /dev/null +++ b/gcc/testsuite/gnat.dg/lto6_pkg.ads @@ -0,0 +1,8 @@ +with Ada.Finalization; use Ada.Finalization; + +package Lto6_Pkg is + type F_String is new Controlled with record + Data : access String; + end record; + Null_String : constant F_String := (Controlled with Data => null); +end Lto6_Pkg; |