http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55939
Jeffrey A. Law <law at redhat dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |law at redhat dot com --- Comment #3 from Jeffrey A. Law <law at redhat dot com> 2013-01-16 19:48:46 UTC --- 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.