1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
// RUN: not %target-swift-frontend -emit-ir %s -enable-experimental-feature Embedded 2>&1 | %FileCheck %s --check-prefix CHECK-EXISTENTIALS
// RUN: %target-swift-frontend -emit-sil %s -enable-experimental-feature Embedded -throws-as-traps | %FileCheck %s --check-prefix CHECK-TRAPS-SIL
// RUN: %target-swift-frontend -emit-ir %s -enable-experimental-feature Embedded -throws-as-traps | %FileCheck %s --check-prefix CHECK-TRAPS-IR
// REQUIRES: swift_in_compiler
// REQUIRES: OS=macosx || OS=linux-gnu
// REQUIRES: swift_feature_Embedded
enum MyError : Error {
case a
}
public func throwing1() throws -> Int {
throw MyError.a
}
public func catching1() {
do {
try throwing1()
} catch let e as MyError {
_ = e
} catch {
_ = error
}
}
// CHECK-EXISTENTIALS: error: cannot use a value of protocol type 'any Error' in embedded Swift
// CHECK-TRAPS-SIL: sil @$s4main9throwing1SiyKF : $@convention(thin) () -> (Int, @error any Error) {
// CHECK-TRAPS-SIL-NEXT: bb0:
// CHECK-TRAPS-SIL-NEXT: debug_value
// CHECK-TRAPS-SIL-NEXT: %1 = integer_literal $Builtin.Int1, -1
// CHECK-TRAPS-SIL-NEXT: cond_fail %1 : $Builtin.Int1, "throw turned into a trap"
// CHECK-TRAPS-SIL-NEXT: unreachable
// CHECK-TRAPS-SIL-NEXT: }
// CHECK-TRAPS-IR: define {{.*}}@"$s4main9throwing1SiyKF"{{.*}}{
// CHECK-TRAPS-IR-NEXT: entry:
// CHECK-TRAPS-IR: call void @llvm.trap()
// CHECK-TRAPS-IR-NEXT: unreachable
// CHECK-TRAPS-IR-NEXT: }
// CHECK-TRAPS-IR: define {{.*}}@"$s4main9catching1yyF"{{.*}}{
|
