Skip to content

Commit 61605eb

Browse files
committed
Auto merge of #1843 - RalfJung:rustup, r=RalfJung
rustup Cc rust-lang/rust#86723
2 parents 4933e28 + e33bf69 commit 61605eb

File tree

2 files changed

+2
-3
lines changed

2 files changed

+2
-3
lines changed

rust-version

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
192920c22bc8433ab14706ee0829e707d119b74f
1+
e98897e5dc9898707bf4331c43b2e76ab7e282fe

src/data_race.rs

+1-2
Original file line numberDiff line numberDiff line change
@@ -759,8 +759,7 @@ impl VClockAlloc {
759759
| MiriMemoryKind::ExternStatic
760760
| MiriMemoryKind::Tls,
761761
)
762-
| MemoryKind::CallerLocation
763-
| MemoryKind::Vtable => (0, VectorIdx::MAX_INDEX),
762+
| MemoryKind::CallerLocation => (0, VectorIdx::MAX_INDEX),
764763
};
765764
VClockAlloc {
766765
alloc_ranges: RefCell::new(RangeMap::new(

0 commit comments

Comments
 (0)