1 files changed, 40 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/test_iface_aggr.adb b/gcc/testsuite/gnat.dg/test_iface_aggr.adb
new file mode 100644
index 000000000..85c1ceb0f
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/test_iface_aggr.adb
@@ -0,0 +1,40 @@
+--  { dg-do run }
+
+with Ada.Text_IO, Ada.Tags;
+procedure Test_Iface_Aggr is
+   package Pkg is
+     type Iface is interface;
+     function Constructor (S: Iface) return Iface'Class is abstract;
+     procedure Do_Test (It : Iface'class);
+     type Root is abstract tagged record
+        Comp_1 : Natural := 0; 
+     end record;
+     type DT_1 is new Root and Iface with record
+         Comp_2, Comp_3 : Natural := 0;
+     end record;
+     function Constructor (S: DT_1) return Iface'Class;
+     type DT_2 is new DT_1 with null record;  --  Test
+     function Constructor (S: DT_2) return Iface'Class;
+   end; 
+   package body Pkg is
+      procedure Do_Test (It: in Iface'Class) is
+         Obj : Iface'Class := Constructor (It);
+         S   : String := Ada.Tags.External_Tag (Obj'Tag);
+      begin
+         null;
+      end;
+     function Constructor (S: DT_1) return Iface'Class is
+     begin
+       return Iface'Class(DT_1'(others => <>));
+     end;
+     function Constructor (S: DT_2) return Iface'Class is
+       Result : DT_2;
+     begin
+       return Iface'Class(DT_2'(others => <>));    --  Test
+     end;
+   end;
+   use Pkg;
+   Obj: DT_2;
+begin
+   Do_Test (Obj);
+end;