; Dominance relationships is not calculated correctly for unreachable blocks,
; which causes the verifier to barf on this input.
; Dominance relationships is not calculated correctly for unreachable blocks,
; which causes the verifier to barf on this input.