Struct solana_rbpf::static_analysis::CfgNode
source · pub struct CfgNode {
pub label: String,
pub sources: Vec<usize>,
pub destinations: Vec<usize>,
pub instructions: Range<usize>,
pub topo_index: TopologicalIndex,
pub dominator_parent: usize,
pub dominated_children: Vec<usize>,
}
Expand description
A node of the control-flow graph
Fields§
§label: String
Human readable name
sources: Vec<usize>
Predecessors which can jump to the start of this basic block
destinations: Vec<usize>
Successors which the end of this basic block can jump to
instructions: Range<usize>
Range of the instructions belonging to this basic block
topo_index: TopologicalIndex
Topological index
dominator_parent: usize
Immediate dominator (the last control flow junction)
dominated_children: Vec<usize>
All basic blocks which can only be reached through this one