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