Java: Remove ExitBasicBlock from SsaInput

hvitved · hvitved · commit e5e88435bc6d · 2025-02-11T10:07:18.000+01:00
diff --git 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;
 
   /**
