[Bug tree-optimization/69308] ifcombine joins together floating point expression with side effects

[glisse at gcc dot gnu.org]

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.