1 files changed, 12 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/discr41.adb b/gcc/testsuite/gnat.dg/discr41.adb
new file mode 100644
index 0000000000..d5ace723b1
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/discr41.adb
@@ -0,0 +1,12 @@
+-- { dg-do compile }
+-- { dg-options "-O" }
+
+package body Discr41 is
+
+   function F return Rec is
+      Ret : Rec (0);
+   begin
+      return Ret;
+   end;
+
+end Discr41;