Struct ReachableDefinitionsAnalysis

pub struct ReachableDefinitionsAnalysis<'lt> { /* private fields */ }

Implementations

impl<'lt> ReachableDefinitionsAnalysis<'lt>

pub fn new(mir: &'lt Mir, cfg: &ControlFlowGraph) -> Self

pub fn run( self, cfg: &ControlFlowGraph, ) -> (UseDefGraph, DataFlowGraph<StatementId>)

Trait Implementations

impl<'lt> GenKillAnalysis<'_> for ReachableDefinitionsAnalysis<'lt>

type SetType = StatementId

type Direction = Forward

fn transfer_function( &mut self, gen_kill_set: &mut GenKillSet<StatementId>, basic_bock: BasicBlockId, cfg: &ControlFlowGraph, )

fn max_idx(&self) -> Self::SetType