Struct DefiniteAssignmentAnalyzer 

pub struct DefiniteAssignmentAnalyzer<'a> { /* private fields */ }

Analyzer that performs definite assignment analysis.

This performs a forward dataflow analysis over the control flow graph, tracking assignment states for variables at each program point.

Implementations

impl<'a> DefiniteAssignmentAnalyzer<'a>

pub fn new(arena: &'a NodeArena, flow_arena: &'a FlowNodeArena) -> Self

Create a new definite assignment analyzer.

pub fn track_variable(&mut self, var_decl: NodeIndex)

Add a variable declaration to track during analysis.

pub fn analyze( &mut self, entry: FlowNodeId, ) -> &FxHashMap<FlowNodeId, AssignmentStateMap>

Run the forward dataflow analysis starting from the given flow node.

Returns the assignment states at each flow node in the graph.

This performs a forward dataflow analysis that tracks variable assignment states through the control flow graph, properly handling:

• Loop back-edges (merging loop entry and loop body exit states)
• Control flow joins (merging states from multiple predecessors)
• Break/continue statements
• Try/catch/finally blocks

pub fn get_state_at(&self, flow_id: FlowNodeId) -> Option<&AssignmentStateMap>

Get the assignment state at a specific flow node.

pub fn is_definitely_assigned( &self, var_id: NodeIndex, flow_id: FlowNodeId, ) -> bool

Check if a variable is definitely assigned at a specific flow node.

pub const fn node_states(&self) -> &FxHashMap<FlowNodeId, AssignmentStateMap>

Get a reference to all node states.