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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
|
// RUN: %empty-directory(%t)
// RUN: %target-build-swift -o %t/a.out.fragile %s
// RUN: %target-codesign %t/a.out.fragile
// RUN: %target-run %t/a.out.fragile | %FileCheck %s
// RUN: %target-build-swift -enable-library-evolution -o %t/a.out.resilient %s
// RUN: %target-codesign %t/a.out.resilient
// RUN: %target-run %t/a.out.resilient | %FileCheck %s
// REQUIRES: executable_test
// CHECK: starting
struct MyError: Error {}
public struct Resilient: ~Copyable {
static var nextValue: Int = 0
private(set) public var value: Int
public init(nonthrowing: ()) {
value = Self.nextValue
Self.nextValue += 1
}
deinit { print("resilient deinit \(value)") }
public init(throwing: Bool) throws {
if throwing {
throw MyError()
}
self = .init(nonthrowing: ())
}
public init(throwingAfterInit: Bool) throws {
self = .init(nonthrowing: ())
if throwingAfterInit {
throw MyError()
}
}
public static func instanceCount() -> Int {
return nextValue
}
}
func makeItem1() throws -> Resilient {
return Resilient(nonthrowing: ())
}
func test1a() throws {
// CHECK-NEXT: resilient deinit 0
_ = try makeItem1()
}
func test1b() throws {
// CHECK-NEXT: resilient deinit 1
let x = try makeItem1()
}
func makeItem2(throwing: Bool) throws -> Resilient {
return try Resilient(throwing: throwing)
}
func test2aa() throws {
// CHECK-NEXT: resilient deinit 2
_ = try makeItem2(throwing: false)
}
func test2ab() throws {
_ = try makeItem2(throwing: true)
}
func test2ba() throws {
// CHECK-NEXT: resilient deinit 3
let x = try makeItem2(throwing: false)
}
func test2bb() throws {
let x = try makeItem2(throwing: true)
}
func makeItem3(throwing: Bool) throws -> Resilient {
return try Resilient(throwingAfterInit: throwing)
}
func test3aa() throws {
// CHECK-NEXT: resilient deinit 4
_ = try makeItem3(throwing: false)
}
func test3ab() throws {
// CHECK-NEXT: resilient deinit 5
_ = try makeItem3(throwing: true)
}
func test3ba() throws {
// CHECK-NEXT: resilient deinit 6
let x = try makeItem3(throwing: false)
}
func test3bb() throws {
// CHECK-NEXT: resilient deinit 7
let x = try makeItem3(throwing: true)
}
func main() {
print("starting")
_ = try? test1a()
_ = try? test1b()
_ = try? test2aa()
_ = try? test2ab()
_ = try? test2ba()
_ = try? test2bb()
_ = try? test3aa()
_ = try? test3ab()
_ = try? test3ba()
_ = try? test3bb()
// CHECK-NEXT: 8 instances in total
print("\(Resilient.instanceCount()) instances in total")
}
main()
|
