http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48087
--- Comment #19 from rguenther at suse dot de <rguenther at suse dot de> 2011-10-27 10:26:02 UTC --- On Thu, 27 Oct 2011, paolo.carlini at oracle dot com wrote: > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48087 > > --- Comment #18 from Paolo Carlini <paolo.carlini at oracle dot com> > 2011-10-27 10:20:29 UTC --- > Richard, the idea of adding another counter (per Comment #16) sounds good to > you? If we do that, the fix should be rather straightforward. I didn't investigate thorougly enough to give good advise here.