Struct FoldUnfoldAnalysis

struct FoldUnfoldAnalysis<'a, 'genv, 'tcx, M> {
    genv: GlobalEnv<'genv, 'tcx>,
    body: &'a Body<'tcx>,
    bb_envs: &'a mut FxHashMap<BasicBlock, Env>,
    visited: BitSet<BasicBlock>,
    queue: WorkQueue<'a>,
    discriminants: UnordMap<Place, Place>,
    point: Point,
    mode: M,
}

Fields

genv: GlobalEnv<'genv, 'tcx>

body: &'a Body<'tcx>

bb_envs: &'a mut FxHashMap<BasicBlock, Env>

visited: BitSet<BasicBlock>

queue: WorkQueue<'a>

discriminants: UnordMap<Place, Place>

point: Point

mode: M

Implementations

impl<M: Mode> FoldUnfoldAnalysis<'_, '_, '_, M>

fn run(self, fn_sig: Option<&EarlyBinder<PolyFnSig>>) -> QueryResult

fn basic_block(&mut self, bb: BasicBlock, env: Env) -> QueryResult

fn statement(&mut self, stmt: &Statement, env: &mut Env) -> QueryResult

fn operand(&mut self, op: &Operand, env: &mut Env) -> QueryResult

fn terminator( &mut self, terminator: &Terminator<'_>, env: Env, ) -> QueryResult<Vec<(Env, BasicBlock)>>

fn goto(&mut self, target: BasicBlock, env: Env) -> QueryResult

impl<'a, 'genv, 'tcx, M> FoldUnfoldAnalysis<'a, 'genv, 'tcx, M>

pub(crate) fn new( genv: GlobalEnv<'genv, 'tcx>, body: &'a Body<'tcx>, bb_envs: &'a mut FxHashMap<BasicBlock, Env>, mode: M, ) -> Self