Predicate Cached::basic_block_entry_node
Any node that is the entry point of a primitive basic block is
also the entry point of a basic block. In addition, all nodes
with a primitive successor, where the predecessor has been pruned
(that is, getAPredecessor()
does not exist while a predecessor
using the primitive successors_extended
relation does exist), is also
considered a basic block entry node.
Import path
import cpp
predicate basic_block_entry_node(ControlFlowNode node)