http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49519

--- Comment #21 from rguenther at suse dot de <rguenther at suse dot de> 
2011-07-06 11:53:56 UTC ---
On Wed, 6 Jul 2011, kirill.yukhin at intel dot com wrote:

> 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.

That looks reasonable.  Can you bootstrap & test this fix and post it to
gcc-patches?

Reply via email to