Struct IfElsePattern 

pub struct IfElsePattern {
    pub condition: NodeIndex,
    pub true_branch: NodeIndex,
    pub false_branch: NodeIndex,
    pub merge_point: Option<NodeIndex>,
}

Represents an if/else structure detected in the CFG

Fields

condition: NodeIndex

Condition node (branch point)

true_branch: NodeIndex

True branch target

false_branch: NodeIndex

False branch target

merge_point: Option<NodeIndex>

Merge point (where branches reconverge) None if branches don’t merge (e.g., early return)

Implementations

impl IfElsePattern

pub fn has_else(&self) -> bool

Check if this is a complete if/else (branches merge)

pub fn size(&self) -> usize

Get the number of blocks in this pattern

Trait Implementations

impl Clone for IfElsePattern

fn clone(&self) -> IfElsePattern

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for IfElsePattern

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

Formats the value using the given formatter.