- Notifications
You must be signed in to change notification settings - Fork14.5k
[LifetimeSafety] Implement LiveOrigins analysis#148976
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to ourterms of service andprivacy statement. We’ll occasionally send you account related emails.
Already on GitHub?Sign in to your account
Draft
usx95 wants to merge1 commit intousers/usx95/07-14-users_usx95_lifetime-safety-add-loan-expiryChoose a base branch
base:users/usx95/07-14-users_usx95_lifetime-safety-add-loan-expiry
Could not load branches
Branch not found:{{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline, and old review comments may become outdated.
Draft
[LifetimeSafety] Implement LiveOrigins analysis#148976
usx95 wants to merge1 commit intousers/usx95/07-14-users_usx95_lifetime-safety-add-loan-expiryfromusers/usx95/07-15-add-liveness-finally
Uh oh!
There was an error while loading.Please reload this page.
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.Learn more about bidirectional Unicode characters
This was referencedJul 15, 2025
ContributorAuthor
usx95 commentedJul 15, 2025 • edited
Loading Uh oh!
There was an error while loading.Please reload this page.
edited
Uh oh!
There was an error while loading.Please reload this page.
Warning This pull request is not mergeable via GitHub because a downstack PR is open. Once all requirements are satisfied, merge this PR as a stackon Graphite.
This stack of pull requests is managed byGraphite. Learn more aboutstacking. |
8bbae58 to037a7ecCompare6d91a96 to76e0954Compare76e0954 tob51604dComparea4cba20 to7365fc4Compareb51604d to9834dbdCompare7365fc4 toa7d03b1Comparea3e57e4 toba980c0Comparea7d03b1 tod5b093eCompare This was referencedJul 17, 2025
d5b093e to70b63edCompare7f47b11 to91d2800Compare9a3a69a to8c5c8f1Compare91d2800 tob591be3Compareb591be3 toe940cf0Compare8c5c8f1 toc29040aCompareSign up for freeto join this conversation on GitHub. Already have an account?Sign in to comment
Labels
None yet
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Uh oh!
There was an error while loading.Please reload this page.
Add a live origins analysis to the lifetime safety checker.
This PR introduces a new backward dataflow analysis called
LiveOriginAnalysisthat tracks which origins are live at each program point. The analysis:LivenessLatticestructure to represent the set of live origins