https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111456
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- here is another missed optimization: ``` _Bool f2(int a, int b) { _Bool t = a == b; unsigned t1 = a; unsigned t2 = b; _Bool b2 = t1 >= t2; return t & b2; } ``` This should just be optimized to `return a == b;`.