https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88481
--- Comment #9 from Alexander Monakov <amonakov at gcc dot gnu.org> --- Thanks. I still don't see what's wrong. Are you testing only by single-stepping in gdb, or does your program overall behave differently with/without if-conversion? In other words, do you see if-conversion causing wrong code, or only worse debug experience?