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
|
// RUN: %target-swift-frontend -emit-sil -enable-copy-propagation %s -o /dev/null -verify
class Delegate {
func foo() { }
}
final class Container {
weak var delegate: Delegate?
var strongRef: Delegate
func callDelegate() {
delegate!.foo()
}
init(_ d: Delegate) { strongRef = d }
init(weakDelegate: Delegate, strongDelegate: Delegate) {
delegate = weakDelegate
strongRef = strongDelegate
}
}
func warningForDeadDelegate(container: Container) {
let delegate = Delegate()
container.delegate = delegate
container.callDelegate()
}
func noWarningForStoredDelegate(container: Container) {
let delegate = Delegate()
container.strongRef = delegate
container.delegate = delegate
container.callDelegate()
}
func noWarningWithFixLifetime(container: Container) {
let delegate = Delegate()
defer { _fixLifetime(delegate) }
container.delegate = delegate
container.callDelegate()
}
func warningWithControlFlow(container: Container, _ b: Bool) {
let delegate = Delegate()
container.delegate = delegate
if b {
container.callDelegate()
}
}
var globalClosure: (() -> ())?
func storeClosure(_ c: @escaping () -> ()) {
globalClosure = c
}
func warningForDeadClosureCapture() {
let k = Delegate()
storeClosure({ [weak k] in
k!.foo()
})
}
func noWarningWithFixLifetime2() {
let k = Delegate()
defer { _fixLifetime(k) }
storeClosure({ [weak k] in
k!.foo()
})
}
func warningWithStoreWeakInCalledFunction() {
let d = Delegate()
let c = Container(weakDelegate: d, strongDelegate: Delegate())
c.callDelegate()
}
final class StrongContainer {
var k: Delegate
init(_ k: Delegate) { self.k = k }
func set(_ newk: Delegate) { k = newk }
func noset(_ newk: Delegate) { }
}
final class Testcl {
private weak var wk: Delegate?
func test_set(_ c: StrongContainer) {
let k = Delegate()
c.set(k)
wk = k // No warning here, because k is kept alive by c
}
func test_noset(_ c: StrongContainer) {
let k = Delegate()
c.noset(k)
wk = k
}
}
|