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
.

Reply via email to