1 files changed, 36 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/specs/rep_clause3.ads b/gcc/testsuite/gnat.dg/specs/rep_clause3.ads
new file mode 100644
index 000000000..438c60468
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/specs/rep_clause3.ads
@@ -0,0 +1,36 @@
+package Rep_Clause3 is
+
+  type Record1 is
+      record
+         Page_Handle : Integer range 0 .. 255;
+         Page_Owner :  Integer range 0 .. 15;
+      end record;
+   for Record1 use
+      record
+         Page_Handle at 0 range 0 .. 15;
+         Page_Owner at 0 range 16 .. 19;
+      end record;
+   for Record1'Size use 20;
+
+   type Range_A is range 1 .. 7;
+   for Range_A'Size use 16;
+
+   type Array_Type is array (Range_A) of Record1;
+   pragma Pack (Array_Type);
+   for Array_Type'Size use 7 * 20;
+--   for array_Type'alignment use 1;
+
+   type Record2 is
+      record
+         Page_Tree_Index : Range_A;
+         Page_Tree : Array_Type;
+      end record;
+
+   for Record2 use
+      record
+         Page_Tree_Index at 0 range 0 .. 15;
+         Page_Tree at 0 range 16 .. 15 + (7 * 20);
+      end record;
+   for Record2'Size use 16 + (7 * 20);
+
+end Rep_Clause3;