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.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113227
YunQiang Su changed:
What|Removed |Added
Resolution|--- |INVALID
Status|UNCONFIRMED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113227
--- Comment #1 from YunQiang Su ---
Sorry for noise. This proposal is wrong.