gcc/testsuite/gnat.dg/inline9_pkg.adb

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