[Bug tree-optimization/117529] Missed optimization: (y != 0 && x > (unsigned)(-1) / y) (multiplication overflow check)

[Explorer09 at gmail dot com via Gcc-bugs]

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

--- Comment #5 from Kang-Che Sung <Explorer09 at gmail dot com> ---
Sorry again. My mind wasn't cleaned up when I wrote the comment. It's (x == 0
|| y == 0) and the logic is not equivalent to ((x & y) == 0).