Predicate Make::Cached::bbSuccessor
Import path
import codeql.controlflow.BasicBlock
predicate bbSuccessor(BasicBlock bb1, BasicBlock bb2, SuccessorType t)
import codeql.controlflow.BasicBlock
predicate bbSuccessor(BasicBlock bb1, BasicBlock bb2, SuccessorType t)