We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 4933e28 + e33bf69 commit 61605ebCopy full SHA for 61605eb
rust-version
@@ -1 +1 @@
1
-192920c22bc8433ab14706ee0829e707d119b74f
+e98897e5dc9898707bf4331c43b2e76ab7e282fe
src/data_race.rs
@@ -759,8 +759,7 @@ impl VClockAlloc {
759
| MiriMemoryKind::ExternStatic
760
| MiriMemoryKind::Tls,
761
)
762
- | MemoryKind::CallerLocation
763
- | MemoryKind::Vtable => (0, VectorIdx::MAX_INDEX),
+ | MemoryKind::CallerLocation => (0, VectorIdx::MAX_INDEX),
764
};
765
VClockAlloc {
766
alloc_ranges: RefCell::new(RangeMap::new(
0 commit comments