* gnat.dg/interface5.ad[sb]: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@135995 138bc75d-0d04-0410-961f-82ee72b054a4

3 files changed, 17 insertions, 0 deletions

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 6bb5bc41fb5..a34e1a19b56 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 00000000000..80d240a9fcf
--- /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 00000000000..e1bd0bac2a8
--- /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;