diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/SsaImpl.qll b/java/ql/lib/semmle/code/java/dataflow/internal/SsaImpl.qll index 2913d777002..bcc68cfd873 100644 --- 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 { BasicBlock getABasicBlockSuccessor(BasicBlock bb) { result = bb.getABBSuccessor() } - class ExitBasicBlock extends BasicBlock { - ExitBasicBlock() { not exists(this.getABBSuccessor()) } - } - class SourceVariable = SsaSourceVariable; /**