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