diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2010-05-08 11:50:18 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2010-05-08 11:50:18 +0000 |
| commit | 901ad63f3070d0f561f205618cc830486af365fb (patch) | |
| tree | 5a8b840a36226645873ccea5b9a0350286f5d624 /gcc/testsuite | |
| parent | 9c026b8767d906ad9969f287152b237d9a20258e (diff) | |
| download | gcc-901ad63f3070d0f561f205618cc830486af365fb.zip gcc-901ad63f3070d0f561f205618cc830486af365fb.tar.gz gcc-901ad63f3070d0f561f205618cc830486af365fb.tar.bz2 | |
exp_disp.adb (Make_Tags): Mark the imported view of dispatch tables.
* exp_disp.adb (Make_Tags): Mark the imported view of dispatch tables.
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Make imported
constants really constant.
<E_Record_Subtype>: Strip the suffix for dispatch table entities.
From-SVN: r159184
Diffstat (limited to 'gcc/testsuite')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/lto5.adb | 9 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/lto5_pkg.adb | 6 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/lto5_pkg.ads | 6 |
4 files changed, 26 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 08266b1..85dd6b9d 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2010-05-08 Eric Botcazou <ebotcazou@adacore.com> + * gnat.dg/lto5.adb: New test. + * gnat.dg/lto5_pkg.ad[sb]: New helper. + +2010-05-08 Eric Botcazou <ebotcazou@adacore.com> + * gnat.dg/lto4.ad[sb]: New test. 2010-05-08 Eric Botcazou <ebotcazou@adacore.com> diff --git a/gcc/testsuite/gnat.dg/lto5.adb b/gcc/testsuite/gnat.dg/lto5.adb new file mode 100644 index 0000000..c36aae8 --- /dev/null +++ b/gcc/testsuite/gnat.dg/lto5.adb @@ -0,0 +1,9 @@ +-- { dg-do run } +-- { dg-options "-flto" } + +with Lto5_Pkg; + +procedure Lto5 is +begin + null; +end; diff --git a/gcc/testsuite/gnat.dg/lto5_pkg.adb b/gcc/testsuite/gnat.dg/lto5_pkg.adb new file mode 100644 index 0000000..b5bf68a --- /dev/null +++ b/gcc/testsuite/gnat.dg/lto5_pkg.adb @@ -0,0 +1,6 @@ +package body Lto5_Pkg is + procedure d (a : t) is + begin + null; + end; +end; diff --git a/gcc/testsuite/gnat.dg/lto5_pkg.ads b/gcc/testsuite/gnat.dg/lto5_pkg.ads new file mode 100644 index 0000000..34d3492 --- /dev/null +++ b/gcc/testsuite/gnat.dg/lto5_pkg.ads @@ -0,0 +1,6 @@ +pragma Eliminate (p, d); + +package Lto5_Pkg is + type t is tagged null record; + procedure d (a : t); +end; |