1 files changed, 25 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/oconst1.ads b/gcc/testsuite/gnat.dg/oconst1.ads
new file mode 100644
index 000000000..93b35f79b
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/oconst1.ads
@@ -0,0 +1,25 @@
+package OCONST1 is
+
+  type u8 is mod 2**8;
+
+  type Base is record
+    i1 : Integer;
+    i2 : Integer;
+    i3 : Integer;
+  end Record;
+
+  type R is record
+    u : u8;
+    b : Base;
+  end record;
+
+  for R use record
+    u at 0 range 0 .. 7;
+    b at 1 range 0 .. 95;  -- BLKmode bitfield
+  end record;
+
+  My_R : constant R := (u=>1, b=>(2, 3, 4));
+
+  procedure check (arg : R);
+
+end;