1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/finalized.adb b/gcc/testsuite/gnat.dg/finalized.adb
new file mode 100644
index 000000000..36400d53e
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/finalized.adb
@@ -0,0 +1,9 @@
+-- { dg-do compile }
+
+with Ada.Finalization; use Ada.Finalization;
+procedure finalized is
+   type Rec is new Controlled with null record;
+   Obj : access Rec := new Rec'(Controlled with null record);
+begin
+   null;
+end;