It doesn't crash with "-O3" replaced by "-O2" (still with "-march=native"); also MPFR passes its test suite ('make check') with these settings / that build.
It doesn't crash with "-O3" replaced by "-O2" (still with "-march=native"); also MPFR passes its test suite ('make check') with these settings / that build.