diff options
author | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-05-08 11:50:18 +0000 |
---|---|---|
committer | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-05-08 11:50:18 +0000 |
commit | 7640ed3d8a38f4eedd02419fb353ac66320fc78e (patch) | |
tree | 5a8b840a36226645873ccea5b9a0350286f5d624 /gcc/testsuite/gnat.dg | |
parent | 4ce8ada59713e8a15d5082d98bf23d5f0e6ffbd4 (diff) | |
download | gcc-7640ed3d8a38f4eedd02419fb353ac66320fc78e.tar.gz |
* 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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@159184 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/testsuite/gnat.dg')
-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 |
3 files changed, 21 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/lto5.adb b/gcc/testsuite/gnat.dg/lto5.adb new file mode 100644 index 00000000000..c36aae8fe5e --- /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 00000000000..b5bf68ab942 --- /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 00000000000..34d34926ea4 --- /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; |