gcc/testsuite/gnat.dg/trampoline3.adb

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