mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix tag GC deleting protected tags

Browse Source
This commit is contained in:
Ralf Jung 2023-07-12 22:28:33 +02:00
parent 58433bfb95
commit d1e1f76afe
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/tools/miri/src/borrow_tracker/mod.rs
View File

@ -74,7 +74,7 @@ pub struct FrameState {
impl VisitTags for FrameState { impl VisitTags for FrameState {
fn visit_tags(&self, _visit: &mut dyn FnMut(BorTag)) { fn visit_tags(&self, _visit: &mut dyn FnMut(BorTag)) {
// `protected_tags` are fine to GC. // `protected_tags` are already recorded by `GlobalStateInner`.
} }
} }
@ -108,9 +108,12 @@ pub struct GlobalStateInner {
} }
impl VisitTags for GlobalStateInner { impl VisitTags for GlobalStateInner {
fn visit_tags(&self, _visit: &mut dyn FnMut(BorTag)) { fn visit_tags(&self, visit: &mut dyn FnMut(BorTag)) {
// The only candidate is base_ptr_tags, and that does not need visiting since we don't ever for &tag in self.protected_tags.keys() {
// GC the bottommost tag. visit(tag);
}
// The only other candidate is base_ptr_tags, and that does not need visiting since we don't ever
// GC the bottommost/root tag.
} }
} }