Trait miri::VisitProvenance

pub trait VisitProvenance {
    // Required method
    fn visit_provenance(&self, visit: &mut VisitWith<'_>);
}

Required Methods

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

Implementations on Foreign Types

impl VisitProvenance for Scalar<Provenance>

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

impl VisitProvenance for Allocation<Provenance, AllocExtra<'_>, MiriAllocBytes>

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

impl VisitProvenance for Pointer<Provenance>

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

impl VisitProvenance for Pointer<Option<Provenance>>

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

impl VisitProvenance for AllocId

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

impl VisitProvenance for Frame<'_, '_, Provenance, FrameExtra<'_>>

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

impl VisitProvenance for ImmTy<'_, Provenance>

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

impl VisitProvenance for Immediate<Provenance>

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

impl VisitProvenance for MPlaceTy<'_, Provenance>

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

impl VisitProvenance for MemPlaceMeta<Provenance>

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

impl VisitProvenance for OpTy<'_, Provenance>

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

impl VisitProvenance for PlaceTy<'_, Provenance>

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

impl<T: VisitProvenance> VisitProvenance for Option<T>

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

impl<T: VisitProvenance> VisitProvenance for RefCell<T>

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

Implementors

impl VisitProvenance for EnvVars<'_>

impl VisitProvenance for Provenance

impl VisitProvenance for AllocExtra<'_>

impl VisitProvenance for BorTag

impl VisitProvenance for CatchUnwindData<'_>

impl VisitProvenance for FrameExtra<'_>

impl VisitProvenance for MiriMachine<'_, '_>

impl VisitProvenance for Stacks

impl VisitProvenance for ThreadManager<'_, '_>

impl VisitProvenance for TlsData<'_>

impl VisitProvenance for Tree

impl VisitProvenance for MiriInterpCx<'_, '_>