Type Alias miri::MiriInterpCx

pub type MiriInterpCx<'mir, 'tcx> = InterpCx<'mir, 'tcx, MiriMachine<'mir, 'tcx>>;

A rustc InterpCx for Miri.

Aliased Type

struct MiriInterpCx<'mir, 'tcx> {
    pub machine: MiriMachine<'mir, 'tcx>,
    pub tcx: TyCtxtAt<'tcx>,
    pub memory: Memory<'mir, 'tcx, MiriMachine<'mir, 'tcx>>,
    pub recursion_limit: Limit,
    /* private fields */
}

Fields

machine: MiriMachine<'mir, 'tcx>

Stores the Machine instance.

Note: the stack is provided by the machine.

tcx: TyCtxtAt<'tcx>

The results of the type checker, from rustc. The span in this is the “root” of the evaluation, i.e., the const we are evaluating (if this is CTFE).

memory: Memory<'mir, 'tcx, MiriMachine<'mir, 'tcx>>

The virtual memory system.

recursion_limit: Limit

The recursion limit (cached from tcx.recursion_limit(()))

Trait Implementations

impl<'mir, 'tcx> MiriInterpCxExt<'mir, 'tcx> for MiriInterpCx<'mir, 'tcx>

fn eval_context_ref(&self) -> &MiriInterpCx<'mir, 'tcx>

fn eval_context_mut(&mut self) -> &mut MiriInterpCx<'mir, 'tcx>

impl VisitProvenance for MiriInterpCx<'_, '_>

fn visit_provenance(&self, visit: &mut VisitWith<'_>)