Predicate Cached::bb_successor_cached
Successor relation for basic blocks.
Import path
import semmle.code.cpp.controlflow.BasicBlockspredicate bb_successor_cached(BasicBlock pred, BasicBlock succ)Successor relation for basic blocks.
import semmle.code.cpp.controlflow.BasicBlockspredicate bb_successor_cached(BasicBlock pred, BasicBlock succ)