miri
1.83.0-nightly
(2bd1e894e 2024-09-26)
In miri::
provenance_
gc
miri
::
provenance_gc
Function
remove_unreachable_allocs
Copy item path
source
fn remove_unreachable_allocs<'tcx>( this: &mut
MiriInterpCx
<'tcx>, allocs: FxHashSet<
AllocId
>, )