1 files changed, 19 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/controlled5_pkg.ads b/gcc/testsuite/gnat.dg/controlled5_pkg.ads
new file mode 100644
index 000000000..537203987
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/controlled5_pkg.ads
@@ -0,0 +1,19 @@
+with Ada.Finalization; use Ada.Finalization;
+
+package Controlled5_Pkg is
+
+   type Root is tagged private;
+
+   type Inner is new Ada.Finalization.Controlled with null record;
+
+   type T_Root_Class is access all Root'Class;
+
+   function Dummy (I : Integer) return Root'Class;
+
+private
+
+   type Root is tagged record
+      F2 : Inner;
+   end record;
+
+end Controlled5_Pkg;