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...

Reply via email to