Skip to content

Commit

Permalink
Reference rust-lang#2164 store buffer initialisation issue
Browse files Browse the repository at this point in the history
  • Loading branch information
cbeuw committed Jun 5, 2022
1 parent d9b66d2 commit 81d7dad
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/concurrency/weak_memory.rs
Original file line number Diff line number Diff line change
Expand Up @@ -510,6 +510,7 @@ pub(super) trait EvalContextExt<'mir, 'tcx: 'mir>:
// UGLY HACK: in write_scalar_atomic() we don't know the value before our write,
// so init == val always. If the buffer is fresh then we would've duplicated an entry,
// so we need to remove it.
// See https://github.com/rust-lang/miri/issues/2164
let was_empty = matches!(
alloc_buffers
.store_buffers
Expand Down

0 comments on commit 81d7dad

Please sign in to comment.