Struct ForwardDataflowAnalysis 

pub struct ForwardDataflowAnalysis<'db, 'a, TAnalyzer: DataflowAnalyzer<'db, 'a>> {
    pub analyzer: TAnalyzer,
    /* private fields */
}

Forward analysis runner.

Traverses the CFG in topological order (from entry towards exits), processing statements in forward order within each block.

The runner automatically handles:

• Block/statement traversal via transfer_block
• Variable remapping at gotos (via transfer_edge)
• State distribution to match arms (via transfer_edge)
• State joining at convergence points (via merge)

Fields

analyzer: TAnalyzer

Implementations

impl<'db, 'a, TAnalyzer: DataflowAnalyzer<'db, 'a>> ForwardDataflowAnalysis<'db, 'a, TAnalyzer>

pub fn new(lowered: &'a Lowered<'db>, analyzer: TAnalyzer) -> Self

Creates a new FwdAnalysis instance.

pub fn run(&mut self) -> Vec<Option<TAnalyzer::Info>>

Runs the forward analysis and returns the exit info for each block.

For acyclic CFGs, this processes blocks in topological order. Returns the exit info Vec indexed by BlockId.