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