bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

remove a no-longer-needed work-around

Browse source
This commit is contained in:
Ralf Jung 2024-12-06 19:54:22 +01:00
parent 644faf4c93
commit 016fb485fa
1 changed files with 2 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/tools/miri/tests/pass/0weak_memory_consistency.rs
View file

@ -34,14 +34,10 @@ unsafe impl<T> Sync for EvilSend<T> {}
// We can't create static items because we need to run each test
// 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
Box::leak(Box::new(AtomicI32::new(val)))
}
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
Box::leak(Box::new(AtomicBool::new(val)))
}
// Spins until it acquires a pre-determined value.