gcc/testsuite/gnat.dg/inline7_pkg1.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

with Inline7_Pkg2;

package body Inline7_Pkg1 is

  procedure Test (I : Integer) is

    function F is new Inline7_Pkg2.Calc (I);

  begin
    if I /= F (I) then
      raise Program_Error;
    end if;
  end;

end Inline7_Pkg1;