Java: Add deprecation annotations in SSA#20772

Draft

aschackmull wants to merge 26 commits intogithub:mainfrom

aschackmull:java/ssa-deprecate

Commits on Nov 12, 2025

Java: Move SSA entry defs to index -1.
aschackmull
committed
Java: Get rid of untracked SSA definitions.
aschackmull
committed
Java: Remove getAFirstUse in BaseSSA.
aschackmull
committed
SSA: Fix phi defs.
aschackmull
committed
SSA: Improve toString.
aschackmull
committed
Java: Add VariableWrite class.
aschackmull
committed
Java: Replace BaseSSA class wrappers with shared code.
aschackmull
committed
Java: Instantiate shared SSA wrappers for main SSA.
aschackmull
committed
Java: Simplify instantiation of Guards and ControlFlowReachability.
aschackmull
committed
Java: Replace usages of isParameterDefinition.
aschackmull
committed
Java: Replace getAFirstUse with top-level predicate.
aschackmull
committed
Java: Replace uses of SsaExplicitUpdate.
aschackmull
committed
Java: Introduce SsaCapturedDefinition and replace uses of getAnUltimateDefinition.
aschackmull
committed
Java: Update some qldoc deprecation notices.
aschackmull
committed
Java: Replace SsaPhiNode with SsaPhiDefinition.
aschackmull
committed
Java: Replace getAUse with getARead.
aschackmull
committed
Java: Replace remaining SsaImplicitInit.
aschackmull
committed
Java: Replace usages of SsaVariable.
aschackmull
committed
Java: Update toString for implicit writes.
aschackmull
committed
Java: Deprecate two more SSA classes.
aschackmull
committed
Java: Drop caching of deprecated predicates.
aschackmull
committed
Java: Accept toString changes in qltest.
aschackmull
committed
Java: Accept qltest changes due to dropped UntrackedDef.
aschackmull
committed
Java: Add change note.
aschackmull
committed
Java: Reinstate useless null check results for fields that are no longer tracked as SSA variables.
aschackmull
committed
Java: Add missing deprecated annotations.
aschackmull
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Java: Add deprecation annotations in SSA#20772

Java: Add deprecation annotations in SSA#20772
aschackmull wants to merge 26 commits intogithub:mainfrom
aschackmull:java/ssa-deprecate

Commits on Nov 12, 2025

Java: Move SSA entry defs to index -1.

Java: Get rid of untracked SSA definitions.

Java: Remove getAFirstUse in BaseSSA.

SSA: Fix phi defs.

SSA: Improve toString.

Java: Add VariableWrite class.

Java: Replace BaseSSA class wrappers with shared code.

Java: Instantiate shared SSA wrappers for main SSA.

Java: Simplify instantiation of Guards and ControlFlowReachability.

Java: Replace usages of isParameterDefinition.

Java: Replace getAFirstUse with top-level predicate.

Java: Replace uses of SsaExplicitUpdate.

Java: Introduce SsaCapturedDefinition and replace uses of getAnUltimateDefinition.

Java: Update some qldoc deprecation notices.

Java: Replace SsaPhiNode with SsaPhiDefinition.

Java: Replace getAUse with getARead.

Java: Replace remaining SsaImplicitInit.

Java: Replace usages of SsaVariable.

Java: Update toString for implicit writes.

Java: Deprecate two more SSA classes.

Java: Drop caching of deprecated predicates.

Java: Accept toString changes in qltest.

Java: Accept qltest changes due to dropped UntrackedDef.

Java: Add change note.

Java: Reinstate useless null check results for fields that are no longer tracked as SSA variables.

Java: Add missing deprecated annotations.

Java: Add deprecation annotations in SSA#20772aschackmull wants to merge 26 commits intogithub:maingithub/codeql:mainfrom aschackmull:java/ssa-deprecateaschackmull/ql:java/ssa-deprecateCopy head branch name to clipboard

Commits

Commits on Nov 12, 2025

Java: Add deprecation annotations in SSA#20772
aschackmull wants to merge 26 commits intogithub:mainfrom
aschackmull:java/ssa-deprecate