-
Notifications
You must be signed in to change notification settings - Fork 1.9k
Ssa: Update qltests including consistency checks #18869
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 our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Copilot reviewed 20 out of 20 changed files in this pull request and generated no comments.
Tip: Copilot only keeps its highest confidence comments to reduce noise and keep you focused. Learn more
1da3be4 to
17f0041
Compare
…ata flow integration predicates.
The RelevantDefinition class is no longer needed since the introduction of LocationSig.
24f392c to
6c89602
Compare
hvitved
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Very nice!
More SSA refactoring commits. This is mostly about adjusting qltests to avoid DefinitionExt references, and fixing up the consistency queries.