gcc/testsuite/gnat.dg/trampoline4.adb

   1 -- { dg-do compile { target *-*-linux* } }
   2 -- { dg-options "-ftrampolines -gnatws" }
   3 -- { dg-skip-if "standard descriptors" { ia64-*-* powerpc64-*-* } }
   4
   5 procedure Trampoline4 is
   6
   7   A : Integer;
   8
   9   type FuncPtr is access function (I : Integer) return Integer;
  10
  11   function F (I : Integer) return Integer is
  12   begin
  13     return A + I;
  14   end F;
  15
  16   P : FuncPtr := F'Access;
  17   I : Integer;
  18
  19 begin
  20   I := P(0);
  21 end;
  22
  23 -- { dg-final { scan-assembler "GNU-stack.*x" } }