https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126313
--- Comment #8 from Drea Pinski <pinskia at gcc dot gnu.org> --- (In reply to Drea Pinski from comment #7) > (In reply to Jakub Jelinek from comment #6) > > We have reset_flow_sensitive_info for that... > > That is only done after the combining happening. We need to temporarily > remove them while trying the combine. And then add it back if the combine > fails. auto_flow_sensitive in phiopt does that but only for one statement. Extending it for a whole BB is easy and I already have a patch to do that via https://gcc.gnu.org/pipermail/gcc-patches/2026-July/723433.html . So I will split that out and move it to a common place first. And use it in ifcombine in ifcombine_ifandif around the calls to maybe_fold_and_comparisons and fold_truth_andor_for_ifcombine. With the inner_cond_bb.
