This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/57994] Constant folding of infinity
- From: "paolo.carlini at oracle dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Sat, 27 Jul 2013 19:53:49 +0000
- Subject: [Bug tree-optimization/57994] Constant folding of infinity
- Auto-submitted: auto-generated
- References: <bug-57994-4 at http dot gcc dot gnu dot org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57994
--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Today I was thinking that given that, per docs and testsuite (double checked
yesterday) the mpfr functions are able to cope with +-Inf arguments to the
mathematical functions and evaluate correctly, gating the various do_mpfr_*
with !real_isnan instead of real_isfinite doesn't look like taking a big risk,
now that we are in Stage 1. Alone that would help a lot of code (in particular,
in the C++ library, which is the original motivating example). Note, I'm not
thinking replacing real_isfinite in various other places, in particular not in
do_mpc_* and its helpers (something for the future). Comments?