gcc/testsuite/gnat.dg/discr31.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O" }
   3
   4 package body Discr31 is
   5
   6    function Log_Item(Packet : in Packet_Data_Type) return Log_Item_Type is
   7       None : Log_Item_Type(0);
   8    begin
   9       return None;
  10    end;
  11
  12 end Discr31;