https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66295
--- Comment #2 from Markus Trippelsdorf <trippels at gcc dot gnu.org> --- __attribute__((target("default"))) int foo() { return 1; } __attribute__((target("arch=core2"))) int foo() { return 2; } int main() { if (foo() != 1 && foo() != 2) __builtin_abort(); }