Comment 4 for bug 968766

Just checked: It's really only that single file of MPFR (set_f.c) Ubuntu's current GCC / cc1 crashes on with '-O3'.

After 'make' failed in the first place, I just took the libtool command ("/bin/bash ../libtool --tag=CC --mode=compile gcc ..."), replaced the two occurrences of '-O3' by '-O2', executed that, then resumed the build by typing 'make' again.

That succeeded (compiling also all remaining files with '-O3'), as well as afterwards 'make check' did (which again involves building).

(This was a build outside of and completely unrelated to Sage, with GMP 5.0.4 built from scratch, but on the same machine.)