Struct AliasAnalyzer 

pub struct AliasAnalyzer<'tcx> {
    pub tcx: TyCtxt<'tcx>,
    pub fn_map: FxHashMap<DefId, MopAAResult>,
}

Fields

tcx: TyCtxt<'tcx>

fn_map: FxHashMap<DefId, MopAAResult>

Implementations

impl<'tcx> AliasAnalyzer<'tcx>

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

fn handle_conor_cases(&mut self)

fn query_mop(&mut self, def_id: DefId)

pub fn get_all_fn_alias_raw(&mut self) -> MopAAResultMap

Trait Implementations

impl<'tcx> AliasAnalysis for AliasAnalyzer<'tcx>

fn get_fn_alias(&self, def_id: DefId) -> Option<AAResult>

Return the aliases among the function arguments and return value of a specific function.

fn get_all_fn_alias(&self) -> AAResultMap

Return the aliases among the function arguments and return value for all functions.

fn get_local_fn_alias(&self) -> AAResultMap

Return the aliases among the function arguments and return value for functions of the local crate.

impl<'tcx> Analysis for AliasAnalyzer<'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.