1 /* { dg-require-effective-target return_address } */
2 int check_fa_work (const char *, const char *) __attribute__((noinline
));
3 int check_fa_mid (const char *) __attribute__((noinline
));
4 int check_fa (char *) __attribute__((noinline
));
5 int how_much (void) __attribute__((noinline
));
7 int check_fa_work (const char *c
, const char *f
)
12 return c
>= f
&& f
>= &d
;
14 return c
<= f
&& f
<= &d
;
17 int check_fa_mid (const char *c
)
19 const char *f
= __builtin_frame_address (0);
21 /* Prevent a tail call to check_fa_work, eliding the current stack frame. */
22 return check_fa_work (c
, f
) != 0;
25 int check_fa (char *unused
)
29 /* Prevent a tail call to check_fa_mid, eliding the current stack frame. */
30 return check_fa_mid (&c
) != 0;
40 char *unused
= __builtin_alloca (how_much ());
42 if (!check_fa(unused
))