gcc/testsuite/gnat.dg/inline3_pkg.adb

   1 package body Inline3_Pkg is
   2
   3   procedure Test (I : Integer) is
   4
   5     function F (J : Integer) return Integer is
   6
   7     begin
   8       return I - J;
   9     end;
  10
  11   begin
  12     if I /= F (I) then
  13       raise Program_Error;
  14     end if;
  15   end;
  16
  17 end Inline3_Pkg;