[Bug tree-optimization/113144] [14 regression] ICE when building dpkg-1.21.15 in verify_dominators (error: dominator of 9 should be 48, not 12)

[tnfchris at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113144

--- Comment #5 from Tamar Christina <tnfchris at gcc dot gnu.org> ---
Loop seems to have been peeled and versioned, and has very convoluted sequence
of merge blocks for the exits.

I initially thought it would be enough to update the immediate reachable blocks
from the new exits.  But looks like I need to update any block of which they
are a parent of.

Patch work and now vectorizes the example.

Added to regression pile for today.