https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63235
--- Comment #5 from Andi Kleen <andi-gcc at firstfloor dot org> --- Created attachment 33482 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33482&action=edit use ifdef instead of builtin_cpu_supports This patch fixes the problem for me. Just use an ifdef instead of builtin_cpu_supports.