Struct AliasAnalyzer 

pub struct AliasAnalyzer<'tcx> {
    pub tcx: TyCtxt<'tcx>,
    pub fn_map: FxHashMap<DefId, MopFnAliasPairs>,
    path_analyzer: PathAnalyzer<'tcx>,
}

Fields

tcx: TyCtxt<'tcx>

fn_map: FxHashMap<DefId, MopFnAliasPairs>

path_analyzer: PathAnalyzer<'tcx>

Implementations

impl<'tcx> AliasAnalyzer<'tcx>

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

fn handle_conor_cases(&mut self)

fn query_alias_graph(&mut self, def_id: DefId)

pub fn get_all_fn_alias_raw(&mut self) -> MopFnAliasMap

pub fn take_path_analyzer(&mut self) -> PathAnalyzer<'tcx>

Trait Implementations

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

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

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

fn get_all_fn_alias(&self) -> FnAliasMap

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

fn get_local_fn_alias(&self) -> FnAliasMap

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

fn get_local_origins(&self, _def_id: DefId) -> LocalOriginMap

Return the intra-procedural local → origin mapping for a function. Default returns empty; analyser implementations may override with cached or MoP-based results.

fn get_self_field_origin( &self, _def_id: DefId, _local: usize, _fields: &[usize], ) -> Option<FieldOrigin>

If a place (local + field projections) in a method body resolves to a struct’s self.field, return the field identity.

impl<'tcx> Analysis for AliasAnalyzer<'tcx>

fn run(&mut self)