https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85615
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- Regresses gcc.dg/uninit-20.c. Trying if (bb->loop_father != e2->src->loop_father && (!loop_exit_edge_p (e2->src->loop_father, e2) || flow_loop_nested_p (bb->loop_father, e2->dest->loop_father))) instead.