swift
239255b8 - Improve LocalVariableUtils.gatherKnownLifetimeUses; dead ends

Commit
124 days ago
Improve LocalVariableUtils.gatherKnownLifetimeUses; dead ends Add a fake use for dead-end blocks. This allows gatherKnownLifetimeUses to be used for local liveness by considering an "unreachable" instruction to generate liveness. This is important when liveness is used as a boundary within which access scopes may be extended. Otherwise, we are unable to extend access scopes into dead-end blocks. Fixes rdar://154406790 (Lifetime-dependent variable 'X' escapes its scope but only if actor/class is final)
Author
Committer
Parents
Loading