Struct PathAnalyzer 

pub struct PathAnalyzer<'tcx> {
    pub tcx: TyCtxt<'tcx>,
    pub debug: bool,
    pub paths: FxHashMap<DefId, PathTree>,
    pub graphs: FxHashMap<DefId, PathGraph<'tcx>>,
}

PathAnalyzer is responsible only for extracting path-sensitive CFG paths. Downstream analyses can reuse these paths without depending on alias logic.

Fields

tcx: TyCtxt<'tcx>

debug: bool

paths: FxHashMap<DefId, PathTree>

graphs: FxHashMap<DefId, PathGraph<'tcx>>

Implementations

impl<'tcx> PathAnalyzer<'tcx>

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

pub fn analyze(&mut self, def_id: DefId) -> Option<PathTree>

Analyze a single function, returning all whole-CFG paths for it. Results are cached — subsequent calls for the same def_id return the cached tree.

pub fn analyze_repeat( &mut self, def_id: DefId, postfix_repeat: usize, ) -> Option<PathTree>

Analyze a single function allowing each SCC postfix segment to repeat up to postfix_repeat additional times.

pub fn get_fn_paths(&self, def_id: DefId) -> Option<PathTree>

pub fn get_all_paths(&self) -> FxHashMap<DefId, PathTree>

pub fn analyze_all(&mut self)

Analyze all functions in the local crate.

pub fn analyze_all_repeat(&mut self, postfix_repeat: usize)

Analyze all functions with the given postfix-repeat count.

pub fn run_with_repeat(&mut self, postfix_repeat: usize)

Trait Implementations

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