1 files changed, 22 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/specs/double_record_extension3.ads b/gcc/testsuite/gnat.dg/specs/double_record_extension3.ads
new file mode 100644
index 00000000000..de53655bace
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/specs/double_record_extension3.ads
@@ -0,0 +1,22 @@
+-- { dg-do compile }
+
+package Double_Record_Extension3 is
+
+   type Rec1 is tagged record
+      Id : Integer;
+   end record;
+
+   for Rec1 use record
+      Id at 8 range 0 .. 31;
+   end record;
+
+   type Rec2 (Size : Integer) is new Rec1 with record
+      Data : String (1 .. Size);
+   end record;
+
+   type Rec3 is new Rec2 (Size => 128) with record
+      Valid : Boolean;
+   end record;
+
+end Double_Record_Extension3;
+