Skip to content

Commit 25e1a00

Browse files
committed
[Region analysis] Remove an assertion that doesn't always hold
It appears that we can end up breaking this assertion when inlining SIL from modules with strict concurrency enabled into modules that don't. That's not a assertion-worth condition.
1 parent 29b4f3d commit 25e1a00

File tree

1 file changed

+0
-5
lines changed

1 file changed

+0
-5
lines changed

lib/SILOptimizer/Analysis/RegionAnalysis.cpp

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -3752,11 +3752,6 @@ static bool canComputeRegionsForFunction(SILFunction *fn) {
37523752
if (!fn->getASTContext().LangOpts.hasFeature(Feature::RegionBasedIsolation))
37533753
return false;
37543754

3755-
assert(fn->getASTContext().LangOpts.StrictConcurrencyLevel ==
3756-
StrictConcurrency::Complete &&
3757-
"Need strict concurrency to be enabled for RegionBasedIsolation to be "
3758-
"enabled as well");
3759-
37603755
// If this function does not correspond to a syntactic declContext and it
37613756
// doesn't have a parent module, don't check it since we cannot check if a
37623757
// type is sendable.

0 commit comments

Comments
 (0)