gcc/testsuite/gnat.dg/inline5_pkg.adb

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