https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102793
--- Comment #8 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Note for the testcase in comment #0, noccmp is missing a VRP here. if bar != 0, then `d != b` is also true. For ccmp, GCC trunk (15) does notice that even due to r15-3866-ga88d6c6d777ad7 .