1 files changed, 12 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gnat.dg/discr31.adb b/gcc-4.9/gcc/testsuite/gnat.dg/discr31.adb
new file mode 100644
index 000000000..0fe02cc21
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gnat.dg/discr31.adb
@@ -0,0 +1,12 @@
+-- { dg-do compile }
+-- { dg-options "-O" }
+
+package body Discr31 is
+
+   function Log_Item(Packet : in Packet_Data_Type) return Log_Item_Type is
+      None : Log_Item_Type(0);
+   begin
+      return None;
+   end;
+
+end Discr31;