https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91034
--- Comment #4 from Marc Glisse <glisse at gcc dot gnu.org> --- Does it make a difference if you replace gmp 6.1.2 with a recent snapshot from https://gmplib.org/download/snapshot/ ?
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91034
--- Comment #4 from Marc Glisse <glisse at gcc dot gnu.org> --- Does it make a difference if you replace gmp 6.1.2 with a recent snapshot from https://gmplib.org/download/snapshot/ ?