Skip to content

Commit 8c610f8

Browse files
committed
Visit the AllocId for all live allocs
1 parent 4d1724a commit 8c610f8

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

src/intptrcast.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -79,7 +79,6 @@ impl<'mir, 'tcx> GlobalStateInner {
7979
pub fn remove_unreachable_allocs(&mut self, live_allocs: &FxHashSet<AllocId>) {
8080
self.int_to_ptr_map.retain(|(_, id)| live_allocs.contains(id));
8181
self.base_addr.retain(|id, _| live_allocs.contains(id));
82-
eprintln!("{:?}", live_allocs.len());
8382
}
8483

8584
// Returns the exposed `AllocId` that corresponds to the specified addr,

src/provenance_gc.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -136,7 +136,8 @@ impl VisitTags for crate::MiriInterpCx<'_, '_> {
136136
fn visit_tags(&self, visit: &mut TagVisitor<'_>) {
137137
// Memory.
138138
self.memory.alloc_map().iter(|it| {
139-
for (_id, (_kind, alloc)) in it {
139+
for (id, (_kind, alloc)) in it {
140+
id.visit_tags(visit);
140141
alloc.visit_tags(visit);
141142
}
142143
});

0 commit comments

Comments
 (0)