https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94913
Uroš Bizjak <ubizjak at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
CC| |jakub at gcc dot gnu.org
Ever confirmed|0 |1
Last reconfirmed| |2020-05-05
--- Comment #3 from Uroš Bizjak <ubizjak at gmail dot com> ---
(In reply to Gabriel Ravier from comment #1)
> The same thing happens for this code :
>
> bool f(unsigned x, unsigned y)
> {
> return (x - y - 1) >= x;
> }
This transformation is the job for tree combiner.
