blob: 6196db463c3dbe08c17c201b25101b82d1a5c41b [file] [log] [blame]
// RUN: %target-sil-opt -enable-sil-verify-all -dce %s | %FileCheck %s
import Swift
// CHECK-LABEL: sil @unexpected_error : $@convention(thin) (Error) -> () {
sil @unexpected_error : $@convention(thin) (Error) -> () {
entry(%10 : $Error):
// CHECK: builtin "unexpectedError"
%11 = builtin "unexpectedError"(%10 : $Error) : $()
unreachable
}
// CHECK-LABEL: sil @error_in_main : $@convention(thin) (Error) -> () {
sil @error_in_main : $@convention(thin) (Error) -> () {
entry(%10 : $Error):
// CHECK: builtin "errorInMain"
%11 = builtin "errorInMain"(%10 : $Error) : $()
unreachable
}