1 files changed, 16 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/controlled_record.ads b/gcc/testsuite/gnat.dg/controlled_record.ads
new file mode 100644
index 000000000..71a57372c
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/controlled_record.ads
@@ -0,0 +1,16 @@
+with Ada.Finalization;
+
+package Controlled_Record is
+
+   type Point_T is limited private;
+   procedure Assert_Invariants (PA : Point_T);
+
+private
+
+   type Coords_T is array (1 .. 2) of Natural;
+
+   type Point_T is new Ada.Finalization.Controlled with record
+      Pos : Coords_T := (0, 0);
+   end record;
+
+end Controlled_Record;