http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53113
--- Comment #10 from Martin <windward at gmx dot com> 2013-02-26 14:18:13 UTC --- (In reply to comment #8) In fact I [suppose I] do as you suggest: I use "-march=core2" to prevent it from using AVX. The problem is that this is inconsistently overruled by the capabilities reported by the assembler (HAVE_AS_AVX). IMHO these capabilities are not properly matched against the architecture/target flags, please have a close look at my original posting and the easy workaround. Besides that I agree with Ryan, this shouldn't break the build anyway.