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

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

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

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Reduced down to just:
```
bool func4(unsigned long long x, unsigned long long y)
{
    if (y == 0) return 0;
    unsigned long long res;
    return __builtin_umulll_overflow(x, y, &res);
}
```