Java: Replace SSA wrapper classes with shared implementation.#20761

Merged

aschackmull merged 25 commits intogithub:mainfrom

aschackmull:java/ssa-shared

Nov 18, 2025

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Java: Replace SSA wrapper classes with shared implementation.#20761

Java: Replace SSA wrapper classes with shared implementation.#20761
aschackmull merged 25 commits intogithub:mainfrom
aschackmull:java/ssa-shared

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: Replace SSA wrapper classes with shared implementation.#20761aschackmull merged 25 commits intogithub:maingithub/codeql:mainfrom aschackmull:java/ssa-sharedaschackmull/ql:java/ssa-sharedCopy head branch name to clipboard

Commits

Commits on Nov 12, 2025

Java: Replace SSA wrapper classes with shared implementation.#20761
aschackmull merged 25 commits intogithub:mainfrom
aschackmull:java/ssa-shared