miri
1.84.0-dev
In miri::
provenance_
gc
Macros
no_provenance
Structs
LiveAllocs
Traits
EvalContextExt
VisitProvenance
Functions
remove_unreachable_allocs
remove_unreachable_tags
Type Aliases
VisitWith
miri
::
provenance_gc
Function
remove_unreachable_allocs
Copy item path
Settings
Help
Summary
Source
fn remove_unreachable_allocs<'tcx>( this: &mut
MiriInterpCx
<'tcx>, allocs: FxHashSet<
AllocId
>, )