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 Immediate<Provenance>

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

impl VisitProvenance for MemPlaceMeta<Provenance>

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

impl VisitProvenance for i8

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

impl VisitProvenance for i16

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

impl VisitProvenance for i32

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

impl VisitProvenance for i64

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

impl VisitProvenance for isize

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

impl VisitProvenance for u8

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

impl VisitProvenance for u16

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

impl VisitProvenance for u32

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

impl VisitProvenance for u64

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

impl VisitProvenance for usize

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

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

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

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

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

impl VisitProvenance for AllocId

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

impl<A, B> VisitProvenance for (A, B)

where A: VisitProvenance, B: VisitProvenance,

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 AllocState

impl VisitProvenance for Provenance

impl VisitProvenance for EnvVars<'_>

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 InitOnceId

impl VisitProvenance for CondvarId

impl VisitProvenance for MutexId

impl VisitProvenance for RwLockId

impl VisitProvenance for Thread<'_>

impl VisitProvenance for ThreadId

impl VisitProvenance for ThreadManager<'_>

impl VisitProvenance for StoreBufferAlloc

impl VisitProvenance for AllocExtra<'_>

impl VisitProvenance for FrameExtra<'_>

impl VisitProvenance for MiriMachine<'_>

impl VisitProvenance for CatchUnwindData<'_>

impl VisitProvenance for TlsData<'_>

impl VisitProvenance for UnixEnvVars<'_>

impl VisitProvenance for FdTable

impl VisitProvenance for WeakFileDescriptionRef

impl VisitProvenance for DirTable

impl VisitProvenance for WindowsEnvVars

impl VisitProvenance for MiriInterpCx<'_>

impl VisitProvenance for ImmTy<'_>

impl VisitProvenance for MPlaceTy<'_>

impl VisitProvenance for OpTy<'_>

impl VisitProvenance for PlaceTy<'_>

impl VisitProvenance for Pointer

impl VisitProvenance for Scalar

impl VisitProvenance for StrictPointer