http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52096

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-02-02 
16:30:59 UTC ---
Also the dumpmachine does not work for things like x32 where just the ABI
changes.

Reply via email to