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<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 AllocState

impl VisitProvenance for Immediate<Provenance>

impl VisitProvenance for MemPlaceMeta<Provenance>

impl VisitProvenance for Scalar<Provenance>

impl VisitProvenance for Provenance

impl VisitProvenance for miri::alloc_addresses::GlobalStateInner

impl VisitProvenance for Stacks

impl VisitProvenance for BorTag

impl VisitProvenance for FrameState

impl VisitProvenance for miri::borrow_tracker::GlobalStateInner

impl VisitProvenance for Tree

impl VisitProvenance for GlobalState

impl VisitProvenance for VClockAlloc

impl VisitProvenance for Thread<'_, '_>

impl VisitProvenance for ThreadManager<'_, '_>

impl VisitProvenance for StoreBufferAlloc

impl VisitProvenance for AllocExtra<'_>

impl VisitProvenance for FrameExtra<'_>

impl VisitProvenance for MiriMachine<'_, '_>

impl VisitProvenance for EnvVars<'_>

impl VisitProvenance for CatchUnwindData<'_>

impl VisitProvenance for UnblockCallback

impl VisitProvenance for TlsData<'_>

impl VisitProvenance for FdTable

impl VisitProvenance for DirTable

impl VisitProvenance for AllocId

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

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

impl VisitProvenance for ImmTy<'_, Provenance>

impl VisitProvenance for MPlaceTy<'_, Provenance>

impl VisitProvenance for OpTy<'_, Provenance>

impl VisitProvenance for PlaceTy<'_, Provenance>

impl VisitProvenance for Pointer<Option<Provenance>>

impl VisitProvenance for Pointer<Provenance>

impl VisitProvenance for MiriInterpCx<'_, '_>

impl<'mir, 'tcx> VisitProvenance for InitOnce<'mir, 'tcx>

impl<'mir, 'tcx> VisitProvenance for SynchronizationState<'mir, 'tcx>