diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/calls.c | 4 |
2 files changed, 9 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b27996f..decc4b1 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2003-04-21 Olivier Hainque <hainque@act-europe.fr> + + * calls.c (expand_call): Prevent sibcall optimization for calls to + nested subprograms. + 2003-04-21 Joel Brobecker <brobecker@gnat.com> * dwarf2out.c (is_ada, is_ada_subrange_type): New functions. diff --git a/gcc/calls.c b/gcc/calls.c index 9b49f87..06ed14a 100644 --- a/gcc/calls.c +++ b/gcc/calls.c @@ -2515,6 +2515,10 @@ expand_call (exp, target, ignore) optimized. */ || (flags & (ECF_RETURNS_TWICE | ECF_LONGJMP | ECF_NORETURN)) || TYPE_VOLATILE (TREE_TYPE (TREE_TYPE (addr))) + /* If the called function is nested in the current one, it might access + some of the caller's arguments, but could clobber them beforehand if + the argument areas are shared. */ + || (fndecl && decl_function_context (fndecl) == current_function_decl) /* If this function requires more stack slots than the current function, we cannot change it into a sibling call. */ || args_size.constant > current_function_args_size |