https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82216
--- Comment #2 from Dendi Suhubdy <suhubdyd at iro dot umontreal.ca> --- 1) Did you compile gcc-7.2 yourself? Yes 2) Did you compile GMP separately from GCC? No, I did the `./contrib/download_prerequisites` 3) Are you running GCC on a different machine than you compiled GMP? Yes
