[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 #4 from Kang-Che Sung <Explorer09 at gmail dot com> ---
Oops. Correction. I mean this:

```c
bool func5(unsigned long long x, unsigned long long y)
{
    /* (x == 0 || y == 0) */
    if ((x & y) == 0) return 0;
    unsigned long long res;
    return __builtin_umulll_overflow(x, y, &res);
}
```