1-- { dg-do compile { target *-*-linux* } }
2-- { dg-options "-gnatws" }
3
4procedure 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
18begin
19  I := P(0);
20end;
21
22-- { dg-final { scan-assembler-not "GNU-stack.*x" } }
23