http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49438
Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|WAITING |RESOLVED Resolution| |WORKSFORME --- Comment #9 from Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> 2011-11-07 22:48:26 UTC --- Closing, please reopen with detailed information if you still encounter the issue. One problem may be that you were compiling with recent GMP headers, but picking up an older GMP library at runtime.