Struct DefaultRange

pub struct DefaultRange<'tcx, T: IntervalArithmetic + ConstConvert + Debug> {
    pub tcx: TyCtxt<'tcx>,
    pub debug: bool,
    pub ssa_def_id: Option<DefId>,
    pub essa_def_id: Option<DefId>,
    pub final_vars: FxHashMap<DefId, HashMap<Local, Range<T>>>,
    pub ssa_locals_mapping: FxHashMap<DefId, HashMap<Local, HashSet<Local>>>,
}

Fields

tcx: TyCtxt<'tcx>

debug: bool

ssa_def_id: Option<DefId>

essa_def_id: Option<DefId>

final_vars: FxHashMap<DefId, HashMap<Local, Range<T>>>

ssa_locals_mapping: FxHashMap<DefId, HashMap<Local, HashSet<Local>>>

Implementations

impl<'tcx, T> DefaultRange<'tcx, T>

where T: IntervalArithmetic + ConstConvert + Debug,

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

fn analyze_mir(&mut self, def_id: LocalDefId)

Trait Implementations

impl<'tcx, T> Analysis for DefaultRange<'tcx, T>

where T: IntervalArithmetic + ConstConvert + Debug,

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 result.

impl<'tcx, T> RangeAnalysis<'tcx, T> for DefaultRange<'tcx, T>

where T: IntervalArithmetic + ConstConvert + Debug,

fn get_fn_range(&self, def_id: DefId) -> Option<HashMap<Local, Range<T>>>

fn get_all_fn_ranges(&self) -> FxHashMap<DefId, HashMap<Local, Range<T>>>

fn get_fn_local_range(&self, def_id: DefId, local: Local) -> Option<Range<T>>