http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49519
--- Comment #19 from Yukhin Kirill <kirill.yukhin at intel dot com> 2011-07-06 11:49:34 UTC --- Created attachment 24701 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24701 Patch to make tailcall check more conservative Attached patch adds another check for clobbered stack area. If address comes from a register - we have no idea about destination address. That means we must act in conservative way - address possibly overlaps with stack area of interest.