]> git.lizzy.rs Git - rust.git/blob - tests/fail/weak_memory/racing_mixed_size_read.stderr
Make racy imperfectly overlapping atomic access unsupported instead of UB
[rust.git] / tests / fail / weak_memory / racing_mixed_size_read.stderr
1 warning: thread support is experimental: the scheduler is not preemptive, and can get stuck in spin loops.
2          (see https://github.com/rust-lang/miri/issues/1388)
3
4 error: unsupported operation: racy imperfectly overlapping atomic access is not possible in the C++20 memory model, and not supported by Miri's weak memory emulation
5   --> $DIR/racing_mixed_size_read.rs:LL:CC
6    |
7 LL |             std::intrinsics::atomic_load_relaxed(hi);
8    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ racy imperfectly overlapping atomic access is not possible in the C++20 memory model, and not supported by Miri's weak memory emulation
9    |
10    = help: this is likely not a bug in the program; it indicates that the program performed an operation that the interpreter does not support
11            
12    = note: inside closure at $DIR/racing_mixed_size_read.rs:LL:CC
13
14 note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
15
16 error: aborting due to previous error; 1 warning emitted
17