[Bug tree-optimization/57994] Constant folding of infinity

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57994

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-07-27
                 CC|                            |ghazi at gcc dot gnu.org,
                   |                            |jsm28 at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Oh nice. And if I disable by hand the real_isfinite (ra) check in do_mpfr_arg1
I even get 0. And I also checked what happens for sin(Inf) in that case: a -nan
as before the hack.

Then which is at this point a safe way to proceed? Get in touch with the mpfr
people, ask if simplifying infinities has known issues? Tentatively remove the
real_isfinite checks from one of the do_mpfr_arg? functions at a time, or even
one mathematical function at a time?