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

gabravier at gmail dot com gcc-bugzilla@gcc.gnu.org
Thu Apr 30 12:53:42 GMT 2020


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

--- Comment #1 from Gabriel Ravier <gabravier at gmail dot com> ---
`f` can also be translated to `return true;` when it's this :

bool f(unsigned x, unsigned y)
{
    return (x & y) <= getXOrY(x, y);
}


More information about the Gcc-bugs mailing list