verifier-fail-bb.sil

// RUN: not --crash %target-sil-opt %s
// REQUIRES: asserts

sil @no_terminator : $@convention(thin) () -> () {
bb0:
  %1 = tuple()
}