Trait AliasAnalysis

pub trait AliasAnalysis: Analysis {
    // Required methods
    fn get_fn_alias(&self, def_id: DefId) -> Option<AAResult>;
    fn get_all_fn_alias(&self) -> AAResultMap;

    // Provided method
    fn get_local_fn_alias(&self) -> AAResultMap { ... }
}

This trait provides features related to alias analysis.

Required Methods

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.

Provided Methods

fn get_local_fn_alias(&self) -> AAResultMap

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

Implementors

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