]> git.lizzy.rs Git - rust.git/blob - src/tools/miri/tests/fail/data_race/atomic_read_na_write_race1.rs
Auto merge of #101969 - reez12g:issue-101306, r=reez12g
[rust.git] / src / tools / miri / tests / fail / data_race / atomic_read_na_write_race1.rs
1 // We want to control preemption here.
2 //@compile-flags: -Zmiri-preemption-rate=0
3
4 use std::sync::atomic::{AtomicUsize, Ordering};
5 use std::thread::spawn;
6
7 #[derive(Copy, Clone)]
8 struct EvilSend<T>(pub T);
9
10 unsafe impl<T> Send for EvilSend<T> {}
11 unsafe impl<T> Sync for EvilSend<T> {}
12
13 pub fn main() {
14     let mut a = AtomicUsize::new(0);
15     let b = &mut a as *mut AtomicUsize;
16     let c = EvilSend(b);
17     unsafe {
18         let j1 = spawn(move || {
19             *(c.0 as *mut usize) = 32;
20         });
21
22         let j2 = spawn(move || {
23             (&*c.0).load(Ordering::SeqCst) //~ ERROR: Data race detected between Atomic Load on thread `<unnamed>` and Write on thread `<unnamed>`
24         });
25
26         j1.join().unwrap();
27         j2.join().unwrap();
28     }
29 }