gcc/testsuite/gnat.dg/discr42_pkg.adb

   1 package body Discr42_Pkg is
   2
   3    function F (Pos : in out Natural) return Rec is
   4    begin
   5       Pos := Pos + 1;
   6       if Pos > 1 then
   7         return (D => True, N => Pos * 2);
   8       else
   9         return (D => False);
  10       end if;
  11    end;
  12
  13 end Discr42_Pkg;