Struct solana_rbpf::static_analysis::CfgNode

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>,
}

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

Trait Implementations

impl Debug for CfgNode

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for CfgNode

fn default() -> Self

Returns the “default value” for a type.