http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47449
--- Comment #8 from Paolo Bonzini <bonzini at gnu dot org> 2011-01-24 23:47:10 UTC --- Ah, [32] means 32-bit x86_64...
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47449
--- Comment #8 from Paolo Bonzini <bonzini at gnu dot org> 2011-01-24 23:47:10 UTC --- Ah, [32] means 32-bit x86_64...