Module ControlFlowGraph::ControlFlow::Internal::Cached

Predicates

getAControlFlowEntryNode

Gets a first control flow element executed within cfe.

getAControlFlowExitNode

Gets a potential last control flow element executed within cfe.

getASuccessorByType

Gets a successor node of a given flow type, if any.

Datatypes

TBooleanSplitSubKind
TNode

Internal representation of control flow nodes in the control flow graph. The control flow graph is pruned for unreachable nodes.

TPreSsaDef
TSplit
TSplitKind
TSplits
TSuccessorType

Internal representation of types of control flow.