Java: Remove ExitBasicBlock from SsaInput

github · Feb 11, 2025 · e5e8843 · e5e8843
1 parent 6fbb1e2
commit e5e8843
Showing 1 changed file with 0 additions and 4 deletions.
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;
 
   /**