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
|
// RUN: %target-swift-frontend -emit-sil %s -verify
func test0(a: (() -> ()) -> (), b: () -> ()) {
a(b) // expected-error {{passing a non-escaping function parameter 'b' to a call to a non-escaping function parameter can allow re-entrant modification of a variable}}
}
func test0(fn: (() -> ()) -> ()) {
fn { fn {} } // expected-error {{passing a closure which captures a non-escaping function parameter 'fn' to a call to a non-escaping function parameter can allow re-entrant modification of a variable}}
}
func test1(fn: (() -> ()) -> ()) {
func foo() {
fn { fn {} } // expected-error {{passing a closure which captures a non-escaping function parameter 'fn' to a call to a non-escaping function parameter can allow re-entrant modification of a variable}}
}
}
func test2(x: inout Int, fn: (() -> ()) -> ()) {
func foo(myfn: () -> ()) {
x += 1
myfn()
}
// Make sure we only complain about calls to noescape parameters.
foo { fn {} }
}
func test3(fn: (() -> ()) -> ()) {
{ myfn in myfn { fn {} } }(fn) // expected-error {{passing a closure which captures a non-escaping function parameter 'fn' to a call to a non-escaping function parameter can allow re-entrant modification of a variable}}
}
func test4(fn: (() -> ()) -> ()) {
func foo() {
fn {}
}
fn(foo) // expected-error {{passing a closure which captures a non-escaping function parameter 'fn' to a call to a non-escaping function parameter can allow re-entrant modification of a variable}}
}
// rdar://problem/34496304
func test5(outer: (() throws -> Int) throws -> Int) throws -> Int {
func descend(_ inner: (() throws -> Int) throws -> Int) throws -> Int {
return try inner { // expected-error {{passing a closure which captures a non-escaping function parameter 'inner' to a call to a non-escaping function parameter can allow re-entrant modification of a variable}}
try descend(inner)
}
}
return try descend(outer)
}
|
