gcc/testsuite/gnat.dg/inline10_pkg.adb

   1 package body Inline10_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 (F);
  10
  11     type FPT is access function (I : Integer) return Integer;
  12
  13     P : FPT := F'Access;
  14
  15   begin
  16     if I /= P (I) then
  17       raise Program_Error;
  18     end if;
  19   end;
  20
  21 end Inline10_Pkg;