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
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
|
// RUN: %empty-directory(%t/src)
// RUN: split-file %s %t/src
// RUN: %target-build-swift %t/src/Interface.swift -emit-module -emit-library \
// RUN: -target %target-cpu-apple-macosx10.15 -swift-version 5 \
// RUN: -enable-library-evolution \
// RUN: -module-name Interface \
// RUN: -o %t/%target-library-name(Interface) \
// RUN: -emit-module-interface-path %t/Interface.swiftinterface
// RUN: %target-build-swift %t/src/Types.swift -swift-version 5 -emit-module -emit-library -enable-library-evolution -module-name Types -o %t/%target-library-name(Types) \
// RUN: -target %target-cpu-apple-macosx10.15 \
// RUN: -I %t -L %t -l Interface \
// RUN: -emit-module-interface-path %t/Types.swiftinterface \
// RUN: -Xfrontend -enable-upcoming-feature -Xfrontend DynamicActorIsolation \
// RUN: -Xfrontend -disable-dynamic-actor-isolation
// RUN: %target-build-swift -I %t -L %t -l Types %t/src/Test1.swift -o %t/test1.out
// RUN: %target-codesign %t/test1.out
// RUN: env SWIFT_UNEXPECTED_EXECUTOR_LOG_LEVEL=2 %target-run %t/test1.out 2>&1 | %FileCheck %t/src/Test1.swift
// RUN: env SWIFT_IS_CURRENT_EXECUTOR_LEGACY_MODE_OVERRIDE=legacy SWIFT_UNEXPECTED_EXECUTOR_LOG_LEVEL=2 %target-run %t/test1.out 2>&1 | %FileCheck %t/src/Test1.swift
// RUN: env SWIFT_IS_CURRENT_EXECUTOR_LEGACY_MODE_OVERRIDE=swift6 SWIFT_UNEXPECTED_EXECUTOR_LOG_LEVEL=2 %target-run %t/test1.out 2>&1 | %FileCheck %t/src/Test1.swift
// RUN: %target-build-swift -I %t -L %t -l Types %t/src/Test2.swift -o %t/test2.out
// RUN: %target-codesign %t/test2.out
// RUN: env SWIFT_UNEXPECTED_EXECUTOR_LOG_LEVEL=2 %target-run %t/test2.out 2>&1 | %FileCheck %t/src/Test2.swift
// RUN: env SWIFT_IS_CURRENT_EXECUTOR_LEGACY_MODE_OVERRIDE=legacy SWIFT_UNEXPECTED_EXECUTOR_LOG_LEVEL=2 %target-run %t/test2.out 2>&1 | %FileCheck %t/src/Test2.swift
// RUN: env SWIFT_IS_CURRENT_EXECUTOR_LEGACY_MODE_OVERRIDE=swift6 SWIFT_UNEXPECTED_EXECUTOR_LOG_LEVEL=2 %target-run %t/test2.out 2>&1 | %FileCheck %t/src/Test2.swift
// RUN: %target-build-swift -I %t -L %t -l Types %t/src/Test3.swift -o %t/test3.out
// RUN: %target-codesign %t/test3.out
// RUN: env SWIFT_UNEXPECTED_EXECUTOR_LOG_LEVEL=2 %target-run %t/test3.out 2>&1 | %FileCheck %t/src/Test3.swift
// RUN: env SWIFT_IS_CURRENT_EXECUTOR_LEGACY_MODE_OVERRIDE=legacy SWIFT_UNEXPECTED_EXECUTOR_LOG_LEVEL=2 %target-run %t/test3.out 2>&1 | %FileCheck %t/src/Test3.swift
// RUN: env SWIFT_IS_CURRENT_EXECUTOR_LEGACY_MODE_OVERRIDE=swift6 SWIFT_UNEXPECTED_EXECUTOR_LOG_LEVEL=2 %target-run %t/test3.out 2>&1 | %FileCheck %t/src/Test3.swift
// RUN: %target-build-swift -I %t -L %t -l Types %t/src/Test4.swift -o %t/test4.out
// RUN: %target-codesign %t/test4.out
// RUN: env SWIFT_UNEXPECTED_EXECUTOR_LOG_LEVEL=2 %target-run %t/test4.out 2>&1 | %FileCheck %t/src/Test4.swift
// RUN: env SWIFT_IS_CURRENT_EXECUTOR_LEGACY_MODE_OVERRIDE=legacy SWIFT_UNEXPECTED_EXECUTOR_LOG_LEVEL=2 %target-run %t/test4.out 2>&1 | %FileCheck %t/src/Test4.swift
// RUN: env SWIFT_IS_CURRENT_EXECUTOR_LEGACY_MODE_OVERRIDE=swift6 SWIFT_UNEXPECTED_EXECUTOR_LOG_LEVEL=2 %target-run %t/test4.out 2>&1 | %FileCheck %t/src/Test4.swift
// RUN: %target-build-swift -I %t -L %t -l Types %t/src/Test5.swift -o %t/test5.out
// RUN: %target-codesign %t/test5.out
// RUN: env SWIFT_UNEXPECTED_EXECUTOR_LOG_LEVEL=2 %target-run %t/test5.out 2>&1 | %FileCheck %t/src/Test5.swift
// RUN: env SWIFT_IS_CURRENT_EXECUTOR_LEGACY_MODE_OVERRIDE=legacy SWIFT_UNEXPECTED_EXECUTOR_LOG_LEVEL=2 %target-run %t/test5.out 2>&1 | %FileCheck %t/src/Test5.swift
// RUN: env SWIFT_IS_CURRENT_EXECUTOR_LEGACY_MODE_OVERRIDE=swift6 SWIFT_UNEXPECTED_EXECUTOR_LOG_LEVEL=2 %target-run %t/test5.out 2>&1 | %FileCheck %t/src/Test5.swift
// RUN: %target-build-swift -I %t -L %t -l Types %t/src/Test6.swift -o %t/test6.out
// RUN: %target-codesign %t/test6.out
// RUN: env SWIFT_UNEXPECTED_EXECUTOR_LOG_LEVEL=2 %target-run %t/test6.out 2>&1 | %FileCheck %t/src/Test6.swift
// RUN: env SWIFT_IS_CURRENT_EXECUTOR_LEGACY_MODE_OVERRIDE=legacy SWIFT_UNEXPECTED_EXECUTOR_LOG_LEVEL=2 %target-run %t/test6.out 2>&1 | %FileCheck %t/src/Test6.swift
// RUN: env SWIFT_IS_CURRENT_EXECUTOR_LEGACY_MODE_OVERRIDE=swift6 SWIFT_UNEXPECTED_EXECUTOR_LOG_LEVEL=2 %target-run %t/test6.out 2>&1 | %FileCheck %t/src/Test6.swift
// REQUIRES: asserts
// REQUIRES: concurrency
// REQUIRES: concurrency_runtime
// REQUIRES: executable_test
// REQUIRES: OS=macosx
// rdar://123810657
// UNSUPPORTED: back_deployment_runtime
//--- Interface.swift
public protocol P {
init()
var prop: [String] { get set }
func test() -> Int
}
public protocol Q : P {
func childTest()
}
//--- Types.swift
import Interface
public func runTest<T: P>(_ type: T.Type) async -> Int {
let v = type.init()
return v.test()
}
public func runAccessors<T: P>(_ type: T.Type) async -> [String] {
var v = type.init()
v.prop = ["a", "b", "c"]
return v.prop
}
public final class Test : @preconcurrency P {
@MainActor public var prop: [String] = []
@MainActor public func test() -> Int { 42 }
public init() {}
}
public actor ActorTest {
var x: Int = 0
public init() {}
}
extension ActorTest : @preconcurrency P {
public var prop: [String] {
get { [] }
set { }
}
public func test() -> Int { x }
}
@MainActor
public struct TestWithParent : @preconcurrency Q {
public var prop: [String] = []
public init() {}
public func test() -> Int { 42 }
public func childTest() {}
}
public func runChildTest<T: Q>(_ type: T.Type) async {
let v = type.init()
return v.childTest()
}
//--- Test1.swift
import Types
print(await runTest(Test.self))
// CHECK-NOT: Incorrect actor executor assumption; Expected MainActor executor
//--- Test2.swift
import Types
print(await runAccessors(Test.self))
// CHECK-NOT: Incorrect actor executor assumption; Expected MainActor executor
//--- Test3.swift
import Types
print(await runTest(ActorTest.self))
// CHECK-NOT: Incorrect actor executor assumption
//--- Test4.swift
import Types
print(await runAccessors(ActorTest.self))
// CHECK-NOT: Incorrect actor executor assumption
//--- Test5.swift
import Types
print(await runTest(TestWithParent.self))
// CHECK-NOT: Incorrect actor executor assumption
//--- Test6.swift
import Types
print(await runChildTest(TestWithParent.self))
// CHECK-NOT: Incorrect actor executor assumption
|
