https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66247
--- Comment #5 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to Matthew L. Martin from comment #3) > The source code in question is downloaded as a prerequisite for building > gcc-5.1.0 (gmp). > > Where should I file a bug against the test? Assuming you are using the antique GMP-4.3.2, simply don't. Scientists are debating whether that release predates the extinction of dinosaurs.