Struct DataFlowAnalyzer 

pub struct DataFlowAnalyzer<'tcx> {
    pub tcx: TyCtxt<'tcx>,
    pub graphs: HashMap<DefId, Graph>,
    pub debug: bool,
}

Fields

tcx: TyCtxt<'tcx>

graphs: HashMap<DefId, Graph>

debug: bool

Implementations

impl<'tcx> DataFlowAnalyzer<'tcx>

pub fn new(tcx: TyCtxt<'tcx>, debug: bool) -> Self

pub fn start(&mut self)

pub fn build_graphs(&mut self)

pub fn build_graph(&mut self, def_id: DefId)

pub fn draw_graphs(&self)

Trait Implementations

impl<'tcx> Analysis for DataFlowAnalyzer<'tcx>

fn name(&self) -> &'static str

Return the name of the analysis.

fn run(&mut self)

Execute the analysis.

fn reset(&mut self)

Reset the analysis and cleanup the memory.

impl<'tcx> DataFlowAnalysis for DataFlowAnalyzer<'tcx>

fn get_fn_dataflow(&self, def_id: DefId) -> Option<DataFlowGraph>

The function returns the dataflow graph for the given function id.

fn get_all_dataflow(&self) -> DataFlowGraphMap

The function returns the dataflow graph for all functions.

fn has_flow_between(&self, def_id: DefId, local1: Local, local2: Local) -> bool

If there is a dataflow between local1 and local2 within the function specified by def_id, the function returns ture; otherwise, it returns false.

fn collect_equivalent_locals( &self, def_id: DefId, local: Local, ) -> HashSet<Local>

The function returns a set of Locals that are equivelent to the given local.

fn get_fn_arg2ret(&self, def_id: DefId) -> Arg2Ret

The function returns an IndexVec of whether the returned Local depends on the parameter Local.

fn get_all_arg2ret(&self) -> Arg2RetMap

The function returns the dataflow between the arguments and return value for all functions