------- Comment #3 from jakub at gcc dot gnu dot org 2009-03-17 17:42 ------- Is it really so hard to change UEFI apps? The thing is that by adding the -mabi= option you pessimize x86_64 gcc even more than the attribute patches have done. Now at least DEFAULT_ABI == SYSV_ABI or DEFAULT_ABI != SYSV_ABI can be optimized into a constant at compile time, with your patch it can't.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39472
