1 files changed, 15 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/controlled_record.adb b/gcc/testsuite/gnat.dg/controlled_record.adb
new file mode 100644
index 000000000..89a9380b9
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/controlled_record.adb
@@ -0,0 +1,15 @@
+-- { dg-do compile }
+-- { dg-options "-O2" }
+
+with Ada.Text_IO; use Ada.Text_IO;
+with Assert;
+
+package body Controlled_Record is
+   
+   procedure Assert_Invariants (PA : Point_T) is
+     PB : Point_T;
+   begin
+      Assert.Assert (PB.Pos = PA.Pos);
+   end;
+
+end Controlled_Record;