blob: 9be8ffd78299e7a497b9d7b325e1b9ddfa9a4bb0 [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
}