From f6879a75599eb8a9e6da6a3269742aed6df7cdde Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Tue, 27 May 2008 09:30:35 +0000 Subject: [PATCH] * gnat.dg/interface5.ad[sb]: New test. From-SVN: r135995 --- gcc/testsuite/ChangeLog | 1 + gcc/testsuite/gnat.dg/interface5.adb | 7 +++++++ gcc/testsuite/gnat.dg/interface5.ads | 9 +++++++++ 3 files changed, 17 insertions(+) create mode 100644 gcc/testsuite/gnat.dg/interface5.adb create mode 100644 gcc/testsuite/gnat.dg/interface5.ads 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 * gnat.dg/sync1.ad[sb]: New test. + * gnat.dg/interface5.ad[sb]: New test. 2008-05-27 Kaveh R. Ghazi 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; -- 2.7.4