1 files changed, 21 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/specs/finalizable2.ads b/gcc/testsuite/gnat.dg/specs/finalizable2.ads
new file mode 100644
index 0000000..b4a6bb1
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/specs/finalizable2.ads
@@ -0,0 +1,21 @@
+-- { dg-do compile }
+-- { dg-options "-gnatX0" }
+
+package Finalizable2 is
+
+   type Root is abstract tagged limited null record
+      with Finalizable => (Initialize => Initialize);
+
+   procedure Initialize (this : in out Root) is abstract;
+
+   type Ext (L : Natural) is new Root with record
+      A : String (1 .. L);
+   end record;
+
+   overriding procedure Initialize (this : in out Ext) is null;
+
+   function Make return Ext is (L => 3, A => "asd");
+
+   Obj : Ext := Make;
+
+end Finalizable2;