https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69308
Marc Glisse <glisse at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2016-01-16
Ever confirmed|0 |1
--- Comment #10 from Marc Glisse <glisse at gcc dot gnu.org> ---
With -fno-trapping-math, the replacement && -> & is done while gimplifying.
-ftrapping-math (the default) disables it there, but the transformation is
still performed later by ifcombine. That's not consistent.
By the way, we seem to be missing an optimization (x ord x) & (x > 0.0) => x >
0.0.
