http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49519
--- Comment #22 from Yukhin Kirill <kirill.yukhin at intel dot com> 2011-07-06 11:57:21 UTC --- (In reply to comment #21) > 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 [details] > > --> 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? Already in progress :)
