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
|
// REQUIRES: rdar64809726
// RUN: %target-build-swift -sanitize=thread %import-libdispatch %s -o %t_binary
// RUN: %env-TSAN_OPTIONS=halt_on_error=1 %target-run %t_binary
// REQUIRES: executable_test
// REQUIRES: stress_test
// REQUIRES: tsan_runtime
// UNSUPPORTED: CPU=powerpc64le
// Check that TSan does not report spurious races in witness table lookup.
func consume(_ x: Any) {}
protocol Q {
associatedtype QA
func deduceQA() -> QA
static func foo()
}
extension Q {
func deduceQA() -> Int { return 0 }
}
protocol Q2 {
associatedtype Q2A
func deduceQ2A() -> Q2A
}
extension Q2 {
func deduceQ2A() -> Int { return 0 }
}
protocol P {
associatedtype E : Q, Q2
}
struct B<T : Q> : Q, Q2 {
static func foo() { consume(type(of: self)) }
}
struct A<T : Q> : P where T : Q2 {
typealias E = B<T>
let value: T
}
func foo<T : P>(_ t: T) {
T.E.foo()
}
struct EasyType : Q, Q2 {
static func foo() { consume(type(of: self)) }
}
extension Int : Q, Q2 {
static func foo() { consume(type(of: self)) }
}
// Execute concurrently.
import StdlibUnittest
var RaceTestSuite = TestSuite("t")
RaceTestSuite.test("test_metadata") {
runRaceTest(trials: 1) {
foo(A<Int>(value: 5))
foo(A<Int>(value: Int()))
foo(A<EasyType>(value: EasyType()))
}
}
runAllTests()
|
