@@ -81,6 +81,7 @@ bb0(%owned_value : @owned $T):
81
81
82
82
%4 = function_ref @transferIndirect : $@convention(thin) @async <τ_0_0> (@in_guaranteed τ_0_0) -> ()
83
83
apply [caller_isolation=nonisolated] [callee_isolation=global_actor] %4<@sil_unowned T>(%unowned_value) : $@convention(thin) @async <τ_0_0> (@in_guaranteed τ_0_0) -> () // expected-warning {{}}
84
+ // expected-note @-1 {{}}
84
85
85
86
destroy_value %unowned_value : $@sil_unowned T
86
87
//destroy_value %value : $T
102
103
%elt = tuple_pack_extract %index of %1 : $(repeat each T) as $@pack_element("00000000-0000-0000-0000-000000000000") U_1
103
104
%f = function_ref @transferIndirect : $@convention(thin) @async <τ_0_0> (@in_guaranteed τ_0_0) -> ()
104
105
apply [caller_isolation=nonisolated] [callee_isolation=global_actor] %f<@pack_element("00000000-0000-0000-0000-000000000000") U_1>(%elt) : $@convention(thin) @async <τ_0_0> (@in_guaranteed τ_0_0) -> () // expected-warning {{}}
106
+ // expected-note @-1 {{}}
105
107
106
108
%elt2 = tuple_pack_extract %index of %1 : $(repeat each T) as $@pack_element("00000000-0000-0000-0000-000000000000") U_1 // expected-note {{access can happen concurrently}}
107
109
apply [caller_isolation=nonisolated] [callee_isolation=global_actor] %f<@pack_element("00000000-0000-0000-0000-000000000000") U_1>(%elt) : $@convention(thin) @async <τ_0_0> (@in_guaranteed τ_0_0) -> ()
119
121
120
122
%transferP = function_ref @transferP : $@async @convention(thin) (@guaranteed P) -> ()
121
123
apply [caller_isolation=nonisolated] [callee_isolation=global_actor] %transferP(%p) : $@async @convention(thin) (@guaranteed P) -> () // expected-warning {{}}
124
+ // expected-note @-1 {{}}
122
125
123
126
%b = begin_borrow %p : $P
124
127
%v = open_existential_value %b : $P to $@opened("EF755EF2-B636-11E7-B7B4-A45E60ECC541", P) Self
140
143
%pExt = unchecked_enum_data %pBorrowed : $Optional<PAnyObject>, #Optional.some!enumelt
141
144
%transferP = function_ref @transferPAnyObject : $@async @convention(thin) (@guaranteed PAnyObject) -> ()
142
145
apply [caller_isolation=nonisolated] [callee_isolation=global_actor] %transferP(%pExt) : $@async @convention(thin) (@guaranteed PAnyObject) -> () // expected-warning {{}}
146
+ // expected-note @-1 {{}}
143
147
144
148
%w = weak_copy_value %pBorrowed : $Optional<PAnyObject>
145
149
%weakFunc = function_ref @usePAnyObjectWeak : $@convention(thin) (@guaranteed @sil_weak Optional<PAnyObject>) -> ()
162
166
%pExt = unchecked_enum_data %pBorrowed : $Optional<PAnyObject>, #Optional.some!enumelt
163
167
%transferP = function_ref @transferPAnyObject : $@async @convention(thin) (@guaranteed PAnyObject) -> ()
164
168
apply [caller_isolation=nonisolated] [callee_isolation=global_actor] %transferP(%pExt) : $@async @convention(thin) (@guaranteed PAnyObject) -> () // expected-warning {{}}
169
+ // expected-note @-1 {{}}
165
170
166
171
%w = weak_copy_value %pBorrowed : $Optional<PAnyObject>
167
172
%s = strong_copy_weak_value %w : $@sil_weak Optional<PAnyObject>
185
190
%2 = function_ref @transferNonSendableKlass : $@convention(thin) @async (@guaranteed NonSendableKlass) -> ()
186
191
apply [caller_isolation=nonisolated] [callee_isolation=global_actor] %2(%1) : $@convention(thin) @async (@guaranteed NonSendableKlass) -> ()
187
192
// expected-warning @-1 {{}}
193
+ // expected-note @-2 {{}}
188
194
189
195
%i = init_existential_value %1 : $NonSendableKlass, $NonSendableKlass, $P
190
196
%f2 = function_ref @useP : $@convention(thin) (@in_guaranteed P) -> ()
0 commit comments