Skip to content

Commit d034dd6

Browse files
committed
Update tests that were added before I finished this.
1 parent e7e035f commit d034dd6

File tree

2 files changed

+4
-1
lines changed

2 files changed

+4
-1
lines changed

test/Concurrency/transfernonsendable_instruction_matching.sil

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -675,6 +675,7 @@ bb0:
675675
apply [caller_isolation=nonisolated] [callee_isolation=global_actor] %transferRawPointer(%rawPointer) : $@convention(thin) @async (Builtin.RawPointer) -> ()
676676
// expected-warning @-1 {{}}
677677
// expected-note @-2 {{}}
678+
// expected-note @-3 {{}}
678679

679680
fix_lifetime %rawPointer : $Builtin.RawPointer
680681
// expected-note @-1 {{access can happen concurrently}}
@@ -754,6 +755,7 @@ bb0:
754755
apply [caller_isolation=nonisolated] [callee_isolation=global_actor] %transferRawPointer(%rawPointer) : $@convention(thin) @async (Builtin.RawPointer) -> ()
755756
// expected-warning @-1 {{}}
756757
// expected-note @-2 {{}}
758+
// expected-note @-3 {{}}
757759

758760
fix_lifetime %rawPointer : $Builtin.RawPointer
759761
// expected-note @-1 {{access can happen concurrently}}
@@ -836,6 +838,7 @@ bb0:
836838
apply [caller_isolation=nonisolated] [callee_isolation=global_actor] %transferRawPointer(%rawPointer) : $@convention(thin) @async (Builtin.RawPointer) -> ()
837839
// expected-warning @-1 {{}}
838840
// expected-note @-2 {{}}
841+
// expected-note @-3 {{}}
839842

840843
fix_lifetime %rawPointer : $Builtin.RawPointer
841844
// expected-note @-1 {{access can happen concurrently}}

test/Concurrency/transfernonsendable_typed_errors.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -45,7 +45,7 @@ func isolatedClosureTest() async {
4545
func sendingError() async {
4646
let x = NonSendableKlass()
4747
transferToSendingParam(x) // expected-error {{sending value of non-Sendable type 'NonSendableKlass' risks causing data races}}
48-
// expected-note @-1 {{Passing value of non-Sendable type 'NonSendableKlass' as a 'sending' argument to global function 'transferToSendingParam' risks causing races in between local and callee code}}
48+
// expected-note @-1 {{Passing value of non-Sendable type 'NonSendableKlass' as a 'sending' argument to global function 'transferToSendingParam' risks causing races in between local and caller code}}
4949
print(x) // expected-note {{access can happen concurrently}}
5050
}
5151

0 commit comments

Comments
 (0)