https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78795
--- Comment #2 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> --- Do you mean that's a bug in GMP? Note that when I used the same options in the past (2012), there were no problems with GCC 4.7.1 and GMP 5.0.5.