Struct miri::Stacks

pub struct Stacks { /* private fields */ }

Extra per-allocation state.

Implementations

impl Stacks

Integration with the BorTag garbage collector

pub fn remove_unreachable_tags(&mut self, live_tags: &FxHashSet<BorTag>)

impl Stacks

Glue code to connect with Miri Machine Hooks

pub fn new_allocation( id: AllocId, size: Size, state: &mut GlobalStateInner, kind: MemoryKind, machine: &MiriMachine<'_, '_> ) -> Self

pub fn before_memory_read<'tcx, 'mir, 'ecx>( &mut self, alloc_id: AllocId, tag: ProvenanceExtra, range: AllocRange, machine: &'ecx MiriMachine<'mir, 'tcx> ) -> InterpResult<'tcx>

where 'tcx: 'ecx,

pub fn before_memory_write<'tcx>( &mut self, alloc_id: AllocId, tag: ProvenanceExtra, range: AllocRange, machine: &MiriMachine<'_, 'tcx> ) -> InterpResult<'tcx>

pub fn before_memory_deallocation<'tcx>( &mut self, alloc_id: AllocId, tag: ProvenanceExtra, size: Size, machine: &MiriMachine<'_, 'tcx> ) -> InterpResult<'tcx>

Trait Implementations

impl Clone for Stacks

fn clone(&self) -> Stacks

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Stacks

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl VisitProvenance for Stacks

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