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.