Trait miri::tag_gc::EvalContextExt
source · [−]pub trait EvalContextExt<'mir, 'tcx: 'mir>: MiriInterpCxExt<'mir, 'tcx> {
fn garbage_collect_tags(&mut self) -> InterpResult<'tcx> { ... }
fn find_tags_in_tls(&mut self, tags: &mut FxHashSet<SbTag>) { ... }
fn find_tags_in_memory(&mut self, tags: &mut FxHashSet<SbTag>) { ... }
fn find_tags_in_locals(
&mut self,
tags: &mut FxHashSet<SbTag>
) -> InterpResult<'tcx> { ... }
fn remove_unreachable_tags(&mut self, tags: FxHashSet<SbTag>) { ... }
}