gcc/testsuite/gnat.dg/inline4_pkg.adb

   1 package body Inline4_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     pragma Inline_Always (F);
  10
  11   begin
  12     if I /= F (I) then
  13       raise Program_Error;
  14     end if;
  15   end;
  16
  17 end Inline4_Pkg;