https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102631
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- We run into MAX_CHAIN_LEN exceeded: 6 and when I up that also into cycle detected and then param_uninit_control_dep_attempts exceeded: 1001 so we get a pruned predicate for the DEF. The testcase is too unwieldly to more thoroughly analyze :/