mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Specify only perfectly overlapping accesses can race

Browse Source
This commit is contained in:
Andy Wang 2022-05-29 22:53:57 +01:00
parent c731071640
commit 6d0c76ea1b
No known key found for this signature in database
GPG Key ID: 181B49F9F38F3374
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/run-pass/weak_memory/extra_cpp_unsafe.rs
View File

@ -18,7 +18,7 @@ fn static_atomic(val: u32) -> &'static AtomicU32 {
ret ret
} }
// We allow non-atomic and atomic reads to race // We allow perfectly overlapping non-atomic and atomic reads to race
fn racing_mixed_atomicity_read() { fn racing_mixed_atomicity_read() {
let x = static_atomic(0); let x = static_atomic(0);
x.store(42, Relaxed); x.store(42, Relaxed);