gcc-4.8.3/gcc/testsuite/gnat.dg/opt23_pkg.adb


1
2
3
4
5
6
7
8

package body Opt23_Pkg is

   function Get (R : Rec; I : Positive; M : Natural) return Path is
   begin
      return R.Val (I) (M);
   end;

end Opt23_Pkg;