[Bug tree-optimization/113227] Maybe optimization (a>0) && (b>0) with or&<0

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113227

--- Comment #3 from Andrew Pinski  ---
Yes `(a > 0) & (b > 0)` is not the same as `(a|b) > 0`. I think we already
catch all of the related `(a CMP 0) &/| (b CMP 0)`; see PR 95731 for those.

[Bug tree-optimization/113227] Maybe optimization (a>0) && (b>0) with or&<0

[syq at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113227

YunQiang Su  changed:

   What|Removed |Added

 Resolution|--- |INVALID
 Status|UNCONFIRMED |RESOLVED

--- Comment #2 from YunQiang Su  ---
It is not correct.

[Bug tree-optimization/113227] Maybe optimization (a>0) && (b>0) with or&<0

[syq at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113227

--- Comment #1 from YunQiang Su  ---
Sorry for noise. This proposal is wrong.