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
|
// RUN: %target-swift-frontend -O %s -parse-as-library -emit-sil -enforce-exclusivity=none -Xllvm -sil-disable-pass=function-signature-opts | %FileCheck %s
// REQUIRES: swift_in_compiler
// Test ARC optimizations on source level tests that have been
// miscompiled and crash (e.g. because of use-after-free).
// -----------------------------------------------------------------------------
// rdar://74469299 (ARC miscompile: EscapeAnalysis::mayReleaseContent;
// potential use-after-free)
// -----------------------------------------------------------------------------
public class Base {
var i = 3
init() {}
}
public class Node : Base {
var node: Base
@inline(never)
init(node: Base) { self.node = node }
}
struct Queue {
var node: Node
}
@inline(never)
func useQueue(q: __owned Queue) {}
@inline(never)
func useNode(n: Base) -> Int {
return n.i
}
// CHECK-LABEL: sil [noinline] @$s9arc_crash14testMayReleaseAA4BaseCyF : $@convention(thin) () -> @owned Base {
// CHECK: [[BASE:%.*]] = alloc_ref $Base
// CHECK: [[EI:%.*]] = end_init_let_ref [[BASE]]
// CHECK: strong_retain [[EI]] : $Base
// CHECK: apply %{{.*}} : $@convention(thin) (@owned Queue) -> ()
// CHECK-LABEL: } // end sil function '$s9arc_crash14testMayReleaseAA4BaseCyF'
@inline(never)
public func testMayRelease() -> Base {
let n2 = Base()
let n1 = Node(node: n2)
let q = Queue(node: n1)
// n2 must not be release before useQueue.
useQueue(q: q)
return n2
}
// This crashes when testMayRelease releases the object too early.
// print("Object:")
// print(testMayRelease())
// -----------------------------------------------------------------------------
|
