user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

provenance_gc: fix comment

Browse source
This commit is contained in:
Ralf Jung 2024-08-19 08:17:24 +02:00
parent c74ffd88cb
commit 4abdcd7fd9
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/tools/miri/src/provenance_gc.rs
View file

@ -187,9 +187,9 @@ impl LiveAllocs<'_, '_> {
impl<'tcx> EvalContextExt<'tcx> for crate::MiriInterpCx<'tcx> {}
pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
fn run_provenance_gc(&mut self) {
// We collect all tags from various parts of the interpreter, but also
let this = self.eval_context_mut();
// We collect all tags and AllocId from every part of the interpreter.
let mut tags = FxHashSet::default();
let mut alloc_ids = FxHashSet::default();
this.visit_provenance(&mut |id, tag| {
@ -200,6 +200,8 @@ pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
tags.insert(tag);
}
});
// Based on this, clean up the interpreter state.
self.remove_unreachable_tags(tags);
self.remove_unreachable_allocs(alloc_ids);
}