https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67728
--- Comment #14 from Marc Glisse <glisse at gcc dot gnu.org> --- Note that I don't think we ever got a proper bug report for GMP. Verified instructions on how to reproduce the issue with just the latest version of GMP (without having to download the sources of mpfr, mpc, isl, gcc, etc) would be nice...
