http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48990
--- Comment #3 from Paul Koning <pkoning at gcc dot gnu.org> 2011-05-13 18:14:00 UTC --- The problem also shows up with -mabi=64, but it works correctly for -mabi=32 and -mabi=o64.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48990
--- Comment #3 from Paul Koning <pkoning at gcc dot gnu.org> 2011-05-13 18:14:00 UTC --- The problem also shows up with -mabi=64, but it works correctly for -mabi=32 and -mabi=o64.