1 files changed, 27 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/oconst5.ads b/gcc/testsuite/gnat.dg/oconst5.ads
new file mode 100644
index 000000000..f12a265d0
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/oconst5.ads
@@ -0,0 +1,27 @@
+package OCONST5 is
+
+  type u1 is mod 2**1;
+  type u8 is mod 2**8;
+
+  type HI_Record is record
+    A, B : U8;
+  end record;
+  pragma Suppress_Initialization (HI_Record);
+
+  type R is record
+     Bit : U1;
+     Agg : HI_Record;
+  end record;
+  pragma Suppress_Initialization (R);
+
+  for R use record
+     Bit at 0 range  0 .. 0;
+     Agg at 0 range  1 .. 16;
+  end record;
+
+  My_R0 : R := (Bit => 0, Agg => (A => 3, B => 7));
+  My_R1 : R := (Bit => 1, Agg => (A => 3, B => 7));
+
+  procedure Check (Arg : R; Bit : U1);
+
+end;