[Bug c/88481] -O1 causes optimizer to drop 'then' clause in conditional

[amonakov at gcc dot gnu.org]

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)?