If a loop's continue target C is unreachable and appears before block B in the loop, then adding a dead continue edge from B to the C will make B dominate C, and violate the rule that block ordering must respect dominance.

Adding of dead continues needs to be refined to avoid this scenario.