1 files changed, 15 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/oconst5.adb b/gcc/testsuite/gnat.dg/oconst5.adb
new file mode 100644
index 000000000..4d4896aea
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/oconst5.adb
@@ -0,0 +1,15 @@
+-- { dg-do compile }
+-- { dg-final { scan-assembler-not "elabs" } }
+
+package body OCONST5 is
+
+   procedure Check (Arg : R; Bit : U1) is
+   begin
+      if Arg.Bit /= Bit
+        or else Arg.Agg.A /= 3
+        or else Arg.Agg.B /= 7
+      then
+         raise Program_Error;
+      end if;
+   end;
+end;