Skip to main content
remove_unreachable_allocs
miri
1.97.1
(8bab26f4f 2026-07-14)
In miri::
provenance_
gc
miri
::
provenance_gc
Function
remove_
unreachable_
allocs
Copy item path
Source
fn remove_unreachable_allocs<'tcx>( ecx: &mut
MiriInterpCx
<'tcx>, allocs: FxHashSet<
AllocId
>, )