https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113796
--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> --- We're removing flow-sensitive info in combine_blocks, but after inserting and folding stmts comprising the PHI replacements. There's possibly latent issues when building up the predicates themselves since that uses maybe_fold_or_comparisons without the workaround added for if-combine. I have a patch resetting flow-sensitive info earlier (and also covering PHIs).