turns out relaxed accesses suffice here

2025-04-28 02:57:37 +00:00 · 2024-10-12 15:22:59 +02:00 · 2024-10-12 15:22:59 +02:00 · 9265a6e467
commit 9265a6e467
parent e3cfe456d6
1 changed files with 2 additions and 2 deletions
--- a/src/tools/miri/src/concurrency/sync.rs
+++ b/src/tools/miri/src/concurrency/sync.rs
@ -234,8 +234,8 @@ pub fn lazy_sync_get_data<'tcx, T: 'static + Copy>(
            &init_field,
            &ImmTy::from_scalar(init_cookie, ecx.machine.layouts.u32),
            init_cookie,
-            AtomicRwOrd::Acquire,
-            AtomicReadOrd::Acquire,
+            AtomicRwOrd::Relaxed,
+            AtomicReadOrd::Relaxed,
            /* can_fail_spuriously */ false,
        )?
        .to_scalar_pair();