Skip to content

Commit feec25c

Browse files
committed
[region-isolation] Mark get_async_continuation{,addr} and extract_executor as AssertingIfNonSendable.
1 parent 4414636 commit feec25c

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

lib/SILOptimizer/Analysis/RegionAnalysis.cpp

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2427,6 +2427,9 @@ CONSTANT_TRANSLATION(DynamicMethodBranchInst, TerminatorPhi)
24272427
// Today, await_async_continuation just takes Sendable values
24282428
// (UnsafeContinuation and UnsafeThrowingContinuation).
24292429
CONSTANT_TRANSLATION(AwaitAsyncContinuationInst, AssertingIfNonSendable)
2430+
CONSTANT_TRANSLATION(GetAsyncContinuationInst, AssertingIfNonSendable)
2431+
CONSTANT_TRANSLATION(GetAsyncContinuationAddrInst, AssertingIfNonSendable)
2432+
CONSTANT_TRANSLATION(ExtractExecutorInst, AssertingIfNonSendable)
24302433

24312434
//===---
24322435
// Existential Box
@@ -2463,9 +2466,6 @@ CONSTANT_TRANSLATION(LinearFunctionInst, Unhandled)
24632466
CONSTANT_TRANSLATION(DifferentiableFunctionExtractInst, Unhandled)
24642467
CONSTANT_TRANSLATION(LinearFunctionExtractInst, Unhandled)
24652468
CONSTANT_TRANSLATION(DifferentiabilityWitnessFunctionInst, Unhandled)
2466-
CONSTANT_TRANSLATION(GetAsyncContinuationInst, Unhandled)
2467-
CONSTANT_TRANSLATION(GetAsyncContinuationAddrInst, Unhandled)
2468-
CONSTANT_TRANSLATION(ExtractExecutorInst, Unhandled)
24692469
CONSTANT_TRANSLATION(BeginUnpairedAccessInst, Unhandled)
24702470
CONSTANT_TRANSLATION(EndUnpairedAccessInst, Unhandled)
24712471

0 commit comments

Comments
 (0)