Commit Graph

2 Commits

Author SHA1 Message Date
Andrew Trick
ef4d8e2669 Add REQUIRES: asserts to closure_scope_analysis.swift 2022-03-23 22:14:58 -07:00
Andrew Trick
ddf0965d3f Rewrite ClosureScopeAnalysis for generality.
Handle recursive non-escaping local functions.

Previously, it was thought that recursion would force a closure to be
escaping. This is not necessarilly true.

Update AccessEnforcementSelection to conservatively handle closure cycles.

Fixes rdar://88726092 (Compiler hangs when building)
2022-03-18 02:28:53 -07:00