Struct DefSiteAnalysis 

pub struct DefSiteAnalysis<'db, 'a> { /* private fields */ }

Forward analysis that records where each variable first becomes available.

Implementations

impl DefSiteAnalysis<'_, '_>

pub fn analyze(lowered: &Lowered<'_>) -> DefSites

Runs def-site analysis on a lowered function.

Returns a vector indexed by variable arena index, mapping each variable to the DefLocation where it first becomes available:

• BlockEntry(block): available at block entry (parameters, goto remappings, match arm bindings).
• Statement((block, i)): available after statement i in block.
• None: the variable’s defining block is unreachable from the function entry.

Trait Implementations

impl<'db, 'a> DataflowAnalyzer<'db, 'a> for DefSiteAnalysis<'db, 'a>

const DIRECTION: Direction = Direction::Forward

The direction of this analysis.

type Info = ()

The analysis state/info type.

fn initial_info( &mut self, _block_id: BlockId, _block_end: &'a BlockEnd<'db>, ) -> Self::Info

Create the initial analysis state at a terminal block.

fn merge( &mut self, _lowered: &Lowered<'db>, _statement_location: StatementLocation, _info1: Self::Info, _info2: Self::Info, ) -> Self::Info

Merge/join states from multiple control flow paths. Called at join points (match merge for backward, block entry for forward).

fn transfer_stmt( &mut self, _info: &mut Self::Info, statement_location: StatementLocation, stmt: &'a Statement<'db>, )

Transfer function for a single statement.

fn transfer_edge( &mut self, _info: &Self::Info, edge: &Edge<'db, 'a>, ) -> Self::Info

Transfer state along a CFG edge. Called when traversing between blocks via control flow edges.

fn transfer_block( &mut self, info: &mut Self::Info, block_id: BlockId, block: &'a Block<'db>, )

Transfer function for an entire block.

fn visit_block_start( &mut self, _info: &mut Self::Info, _block_id: BlockId, _block: &Block<'db>, )

Called when entering a block during traversal (before transfer_block).

fn block_entry_location( &self, lowered: &Lowered<'db>, block_id: BlockId, ) -> LocationId<'db>

Block entry location. For Backward it is the merge location. For Forward it is the block entry location, if there is a statement. If not statement exists it will look at block end. This might recurse to next block if we have a goto with no remappings.