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?