From 820f322b86772fe3fdadebb587cc877efff4e61c Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 14 Jul 2022 08:07:59 -0400 Subject: [PATCH] add work-around for #2164 --- tests/pass/0weak_memory_consistency.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tests/pass/0weak_memory_consistency.rs b/tests/pass/0weak_memory_consistency.rs index 668635d7ff8..8b7ce50d2d4 100644 --- a/tests/pass/0weak_memory_consistency.rs +++ b/tests/pass/0weak_memory_consistency.rs @@ -34,10 +34,12 @@ unsafe impl Sync for EvilSend {} // multiple times fn static_atomic(val: i32) -> &'static AtomicI32 { let ret = Box::leak(Box::new(AtomicI32::new(val))); + ret.store(val, Relaxed); // work around https://github.com/rust-lang/miri/issues/2164 ret } fn static_atomic_bool(val: bool) -> &'static AtomicBool { let ret = Box::leak(Box::new(AtomicBool::new(val))); + ret.store(val, Relaxed); // work around https://github.com/rust-lang/miri/issues/2164 ret }