LifetimeDependence: redesign dependence scope handling #78228
atrick
merged
15 commits into
swiftlang:main
from
atrick:lifedep-scopes-trivial
[NFC] LifeDependenceUtils: fix a merge redundancy.
f5e16b69
Extend LifetimeDependence to allow borrowed value base.
7811a632
[NFC] Add LifetimeDependence.Scope.ignoreBorrowScope utility.
eab9a359
Update lifetime_dependence_util.sil for borrow dependence.
1848ac02
AddressUtils: handle address initialization inside _modify.
dc4e4665
Redesign LifetimeDependenceInsertion for coroutines
01279c4a
Redesign LifetimeDependenceScopeFixup to handle accessors.
9f742826
Add test: SIL lifetime dependence diagnostic passes
064d37f1
Add test: diagnostic_passes_todo.sil
82afc7c7
Add test: lifetime_dependence/coroutine.swift
8db7dc3a
Add test: lifetime_dependence/scopefixup.sil
4ca98678
Add LifetimeDependenceDiagnoseTrivial feature.
c71e53d3
Add experimental-feature LifetimeDependenceDiagnoseTrivial to tests.
5c89708d
LifetimeDependence: handle dependence on trivial values.
3897929e
Fix lifetime_dependence tests for trivial dependence.
c05ddd68
Reviewers
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub