https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65661
--- Comment #3 from vries at gcc dot gnu.org --- r221833 Configured with: src/configure --prefix=lean-c/install --with-cloog=infra --with-ppl=infra --with-gmp=infra --with-mpfr=infra --with-mpc=infra --disable-bootstrap --enable-checking=yes,rtl --enable-languages=c
