gcc/testsuite/gnat.dg/implicit_param.adb

   1 --  { dg-do compile }
   2
   3 with Implicit_Param_Pkg;
   4
   5 procedure Implicit_Param is
   6     subtype Tiny is Integer range 1 .. 5;
   7     V : Tiny := 4;
   8
   9     function Func62 return Implicit_Param_Pkg.Lim_Rec is
  10     begin
  11        return
  12          (case V is
  13            when 1 .. 3 => Implicit_Param_Pkg.Func_Lim_Rec,
  14            when 4 .. 5 => raise Program_Error);
  15     end Func62;
  16
  17 begin
  18     null;
  19 end Implicit_Param;