http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58485
--- Comment #1 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> --- I forgot: Version: GNU MP 5.1.2 Host type: coreinhm-unknown-linux-gnu ABI: 64 Install prefix: /usr/local Compiler: gcc-snapshot -std=gnu99 Static libraries: yes Shared libraries: no (x86_64).