From d77d95d0a8ea90e87cbc872cacdd89540e11142c Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sun, 23 May 2021 12:39:27 +0200 Subject: [PATCH] rustup --- rust-version | 2 +- src/data_race.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/rust-version b/rust-version index 7004235a38f..bc7ef53b303 100644 --- a/rust-version +++ b/rust-version @@ -1 +1 @@ -35bab923c8e5a1e8291735e7630539002eb80d7b +6e92fb409816c65cd0a78a1fbcc71e2fbabdf50a diff --git a/src/data_race.rs b/src/data_race.rs index 16ab03ace22..fb6bf8f8929 100644 --- a/src/data_race.rs +++ b/src/data_race.rs @@ -719,7 +719,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: MiriEvalContextExt<'mir, 'tcx> { if let Some(data_race) = &mut this.memory.extra.data_race { if data_race.multi_threaded.get() { let alloc_meta = - this.memory.get_alloc_extra_mut(ptr.alloc_id)?.data_race.as_mut().unwrap(); + this.memory.get_alloc_extra_mut(ptr.alloc_id)?.0.data_race.as_mut().unwrap(); alloc_meta.reset_clocks(ptr.offset, size); } }