http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58630
--- Comment #6 from H.J. Lu <hjl.tools at gmail dot com> --- (In reply to Dominique d'Humieres from comment #5) > Sorry still present at revision 205008: see > http://gcc.gnu.org/ml/gcc-testresults/2013-11/msg01438.html or > http://gcc.gnu.org/ml/gcc-testresults/2013-11/msg01440.html (r204983). > > The difference in behavior may depend on the configure options, but I did > not find what could be relevant. They show up when configured with --with-arch=core2 --with-cpu=core2.