test/SIL/verifier-fail-bb.sil - third_party/swift - Git at Google

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

 sil @no_terminator : $@convention(thin) () -> () {
 bb0:
   %1 = tuple()
 }
	// RUN: not --crash %target-sil-opt %s
	// REQUIRES: asserts

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