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