VirtualCFG::CFGEdge::condition

The control flow condition that enables this edge

Synopsis

Declared in <SageIII/virtualCFG/virtualCFG.h>

EdgeConditionKind
condition() const;

Return Value

The conditions attached to edges are marked to determine which conditions trigger control to flow along that edge (as opposed to other edges out of the same source node). For conditional branches (except eckCaseLabel and eckDefault), the conditions are implicit and depend on knowledge of the particular control structure. Fortran support for this is underdeveloped; single AST nodes representing variable‐length loops was not part of the original design of the CFG code.

Created with MrDocs