1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/interface5.ads b/gcc/testsuite/gnat.dg/interface5.ads
new file mode 100644
index 000000000..e1bd0bac2
--- /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;