http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56068
--- Comment #14 from Jonathan Wakely <redi at gcc dot gnu.org> 2013-01-21 19:58:48 UTC --- (In reply to comment #13) > > Maybe GCC could work around it by checking both flags in the AVX detection > > logic. > > Recent 4.6+ does. Please see driver-i386.c around line 470: Ah, thank you! I only looked in the 4.6.3 and 4.7.2 releases, not the branch heads. That's good to know.