swift
Add verification to catch many incorrect liveness checks
#79736
Merged

Add verification to catch many incorrect liveness checks #79736

atrick merged 5 commits into swiftlang:main from atrick:fix-address-walk
atrick
atrick Add pointer escape and dependent use tracking to InteriorLiveness
d73a081f
atrick Fix ClosureLifetimeFixup handling of incomplete liveness.
7760dbc9
atrick OSSALifetimeCompletion: check liveness failure
2fe155ac
atrick Fix ClosureLifetimeFixup to handle pointer escapes.
727aed3a
atrick Add FIXMEs for calls to liveness that fail to check pointer escapes.
19c8bd62
atrick atrick requested a review from meg-gupta meg-gupta 335 days ago
atrick atrick requested a review from nate-chandler nate-chandler 335 days ago
atrick atrick requested a review from kavon kavon 335 days ago
atrick atrick requested a review from eeckstein eeckstein 335 days ago
atrick atrick requested a review from jckarter jckarter 335 days ago
atrick
atrick
atrick
nate-chandler
nate-chandler approved these changes on 2025-03-03
meg-gupta
meg-gupta approved these changes on 2025-03-03
atrick
atrick atrick merged c937aa07 into main 334 days ago
atrick atrick deleted the fix-address-walk branch 334 days ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone