diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2008-05-27 09:30:35 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-05-27 11:30:35 +0200 |
| commit | f6879a75599eb8a9e6da6a3269742aed6df7cdde (patch) | |
| tree | 370d10e8880b3adfe498a2fc1692709f3c920617 /gcc | |
| parent | aeff280b14651e6097bafcdcfcf0d854d116cd47 (diff) | |
| download | gcc-f6879a75599eb8a9e6da6a3269742aed6df7cdde.zip gcc-f6879a75599eb8a9e6da6a3269742aed6df7cdde.tar.gz gcc-f6879a75599eb8a9e6da6a3269742aed6df7cdde.tar.bz2 | |
* gnat.dg/interface5.ad[sb]: New test.
From-SVN: r135995
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 1 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/interface5.adb | 7 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/interface5.ads | 9 |
3 files changed, 17 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 6bb5bc4..a34e1a1 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,6 +1,7 @@ 2008-05-27 Arnaud Charlet <charlet@adacore.com> * gnat.dg/sync1.ad[sb]: New test. + * gnat.dg/interface5.ad[sb]: New test. 2008-05-27 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> diff --git a/gcc/testsuite/gnat.dg/interface5.adb b/gcc/testsuite/gnat.dg/interface5.adb new file mode 100644 index 0000000..80d240a --- /dev/null +++ b/gcc/testsuite/gnat.dg/interface5.adb @@ -0,0 +1,7 @@ +-- { dg-do compile } +package body interface5 is + function F (Object : Child) return access Child is + begin + return null; + end F; +end interface5; diff --git a/gcc/testsuite/gnat.dg/interface5.ads b/gcc/testsuite/gnat.dg/interface5.ads new file mode 100644 index 0000000..e1bd0ba --- /dev/null +++ b/gcc/testsuite/gnat.dg/interface5.ads @@ -0,0 +1,9 @@ +package interface5 is + type B is tagged null record; + + type I is interface; + function F (Object : I) return access I is abstract; + + type Child is new B and I with null record; + function F (Object : Child) return access Child; +end interface5; |