https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88481
--- Comment #6 from Alexander Monakov <amonakov at gcc dot gnu.org> --- And just to be sure, can you confirm that -fno-if-conversion changes program behavior (the testcase is not executable so I cannot check), and the issue is not about debug info quality (i.e. that single-stepping in the debugger does not behave as you expect, but overall the function computes correct values)?