Skip to content

Java: Delete old deprecated SSA classes and predicates. - #22996

Merged
aschackmull merged 1 commit into
github:mainfrom
aschackmull:java/ssa-del-deprecated
Nov 3, 2026
Merged

aschackmull merged 1 commit into
github:mainfrom
aschackmull:java/ssa-del-deprecated

Conversation

@aschackmull

Copy link
Copy Markdown
Contributor

No description provided.

Copilot AI auto review requested due to automatic review settings November 3, 2026 12:57
@aschackmull
aschackmull requested a review from a team as a code owner November 3, 2026 12:57
@aschackmull aschackmull added the no-change-note-required This PR does not need a change note label Nov 3, 2026

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🟡 Changes recommended

The change removes public SSA library APIs without the required unreleased Java breaking-change note.

1 open issue
What changed in this PR

This pull request removes deprecated Java SSA compatibility APIs and obsolete integer-guard helpers, leaving the newer SSA and range-analysis implementations in place.

Changes:

  • Deletes deprecated SSA classes and predicates from the public Java SSA library.
  • Removes their supporting predicates from the internal SSA implementation.
  • Removes deprecated integer comparison, bound-guard, and compatibility APIs.
  • Review note: add an unreleased Java change note categorized as breaking for the removed public APIs.
File Summary
java/​ql/​lib/​semmle/​code/​java/​dataflow/​SSA.qll Removes deprecated public SSA classes and predicates.
java/​ql/​lib/​semmle/​code/​java/​dataflow/​internal/​SsaImpl.qll Removes internal support predicates for the deleted SSA APIs.
java/​ql/​lib/​semmle/​code/​java/​dataflow/​IntegerGuards.qll Removes deprecated integer-comparison and bound-guard APIs.

Review effort: Lite (auto)

}
}

private predicate hasQualifierUpdate(SsaImplicitWrite def) {
@aschackmull aschackmull added no-change-note-required This PR does not need a change note and removed no-change-note-required This PR does not need a change note labels Nov 3, 2026
@github-actions github-actions Bot added the Java label Nov 3, 2026
@aschackmull
aschackmull merged commit 1bff602 into github:main Nov 3, 2026
21 of 23 checks passed
@aschackmull
aschackmull deleted the java/ssa-del-deprecated branch November 3, 2026 13:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Java no-change-note-required This PR does not need a change note

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants