[Bug tree-optimization/94884] Failure to recognize that result of or is always superior to operands

[gabravier at gmail dot com]

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

--- Comment #2 from Gabriel Ravier <gabravier at gmail dot com> ---
Also when it is this :

bool f(unsigned x, unsigned y)
{
    return x <= (x | ~y);
}