1-- { dg-do compile { target *-*-linux* } }
2-- { dg-options "-ftrampolines -gnatws" }
3-- { dg-skip-if "standard descriptors" { hppa*-*-* ia64-*-* powerpc64-*-* } }
4
5procedure 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
19begin
20  I := P(0);
21end;
22
23-- { dg-final { scan-assembler "GNU-stack.*x" } }
24