Repository navigation

Java/Cfg: Introduce new shared CFG library and replace the Java CFG. - #21290

Merged

aschackmull merged 34 commits into

github:mainfrom

aschackmull:cfg/new-shared

Mar 2, 2026

Commits on Feb 23, 2026
- Cfg: Add ConditionKind and getDual to ConditionalSuccessor.
  aschackmull
  committed
  723a896
- Java: Preparatory tweaks.
  aschackmull
  committed
  2e98734
- Java: Replace ControlFlowNode.asCall with Call.getControlFlowNode.
  aschackmull
  committed
  4a97a44
- Cfg: Add getEnclosingCallable to shared BasicBlock
  aschackmull
  committed
  48d7d9c
- Java: Replace idominance tests.
  aschackmull
  committed
  0c9931f
- Java/Cfg: Introduce new shared CFG library and replace the Java CFG.
  aschackmull
  committed
  48e3724
- Java: Fix Cyclomatic complexity calculation.
  aschackmull
  committed
  6fbdb2c
- Java: Fix RangeAnalysis/ModulusAnalysis.
  aschackmull
  committed
  1e9dcea
- Java: Fix switchcase guards.
  aschackmull
  committed
  7871cd7
- Java: Adjust BasicBlock-based qltests.
  aschackmull
  committed
  12b9999
- Java: Adjust idominance tests.
  aschackmull
  committed
  fb2799b
- Java: Accept guards test changes for revised switch CFG.
  aschackmull
  committed
  e0eb653
- Java: Accept test changes due to pruned CFG, after-nodes, and reduced exception precision.
  aschackmull
  committed
  6ac8c4f
- Java: Accept new CFG nodes.
  aschackmull
  committed
  a844d60
- Java: Fix instanceof-disjunction.
  aschackmull
  committed
  ccd28ff
- Java: Exclude ExprStmt consistent with SwitchCase.getRuleExpression().
  aschackmull
  committed
  fc8b7c0
- Java: Fix reference to entry node.
  aschackmull
  committed
  581679d
- Java: Remove test. Flexible constructors need AST-based tests, which are already in place, not CFG tests.
  aschackmull
  committed
  a6ee1df
- Java: Accept new locations for SSA definitions.
  aschackmull
  committed
  4d9c0e0
- Java: Accept dispatch precision improvement.
  aschackmull
  committed
  a72cf56
- Java: Fix enhancedForEarlyExit implementation.
  aschackmull
  committed
  b798bc2
- Java: Accept new TP in NullMaybe.
  aschackmull
  committed
  8b0dd7b
- Java: Accept removal of spurious reason (the alert stays).
  aschackmull
  committed
  d84e0e2
- Java: Accept reduced precision from no longer nesting completions in YieldCompletions.
  aschackmull
  committed
  106a9d4
- Java: Accept revised CFG.
  aschackmull
  committed
  eb37c41
- Java: Remove obsolete tests - false successors are no longer special.
  aschackmull
  committed
  352b371
- Java: Enable Cfg consistency checks.
  aschackmull
  committed
  f7317b6
- Java: Adjust switch case guards test.
  aschackmull
  committed
  d4873dd
- Java: Add change note.
  aschackmull
  committed
  0d0711f
- Java: Handle missing throws clauses.
  aschackmull
  committed
  bdbbd45
- Java: Add nullness test covering known FP.
  aschackmull
  committed
  2b8e719
- Guards: Improve join-order.
  aschackmull
  committed
  94121f1
Commits on Feb 27, 2026
- Cfg: Address review comments.
  aschackmull
  committed
  ab94524
Commits on Mar 2, 2026
- Cfg: A few more review tweaks.
  aschackmull
  committed
  627654c

Commits

Commits on Feb 23, 2026

Commits on Feb 27, 2026

Commits on Mar 2, 2026