https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127376
--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> --- (In reply to Drea Pinski from comment #7) > We should fix gmp not to include the options in __GMP_CC instead. Or pragmatic, not pass -f[no-]checking down to gmp/ ... -fchecking=1 is for C++ (GMP is C) and -fno-checking is a compile-time optimization.
