Provides classes for working with basic blocks, and predicates for computing liveness information for local variables.
A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins.
An entry basic block, that is, a basic block whose first node is the entry node of a statement container.
A basic block that is reachable from an entry basic block.
A reachable basic block with more than one predecessor.
An unreachable basic block, that is, a basic block whose first node is unreachable.