Java: Remove ExitBasicBlock from SsaInput

2026-04-13 19:14:04 +02:00 · 2025-02-11 10:07:18 +01:00
parent 6fbb1e2571
commit e5e88435bc
1 changed files with 0 additions and 4 deletions
--- a/java/ql/lib/semmle/code/java/dataflow/internal/SsaImpl.qll
+++ b/java/ql/lib/semmle/code/java/dataflow/internal/SsaImpl.qll
@@ -175,10 +175,6 @@ private module SsaInput implements SsaImplCommon::InputSig<Location> {

  BasicBlock getABasicBlockSuccessor(BasicBlock bb) { result = bb.getABBSuccessor() }

-  class ExitBasicBlock extends BasicBlock {
-    ExitBasicBlock() { not exists(this.getABBSuccessor()) }
-  }
-
  class SourceVariable = SsaSourceVariable;

  /**