// RUN: %target-sil-opt -assume-parsing-unqualified-ownership-sil -enable-sil-verify-all -sil-verify-without-invalidation %s -compute-dominance-info | |
// Check if post-dominator verification does not crash on multiple roots. | |
sil_stage canonical | |
import Builtin | |
import Swift | |
sil @testit : $@convention(thin) () -> () { | |
bb0: | |
cond_br undef, bb1, bb2 | |
bb1: | |
br bb1 | |
bb2: | |
%r = tuple () | |
return %r : $() | |
} | |