http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57994
--- Comment #8 from Paolo Carlini <paolo.carlini at oracle dot com> --- About sin(Inf): I checked that with / without the real_isfinite the expression evaluated in every case the same, -nan, if I remember correctly. I don't have more details at the moment. My general point, again, is that the mpfr testsuite appears to include test which check that +-inf are correctly handled as arguments to the mathematical functions. Which, hey, doesn't seem a miracle, after all ;) Remember, I'm thinking as a start, no-nan, no-complex.