http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55939
--- Comment #4 from Mikael Pettersson <mikpe at it dot uu.se> 2013-01-16 20:46:19 UTC --- (In reply to comment #3) > Mikael -- can you try adding -fno-rename-registers to the cflags used to > compile gmp and see if that changes anything? It'd be greatly appreciated. Done, -fno-rename-registers made no difference with any of 4.6/4.7/4.8.
