Detect mixed-size and mixed-atomicity non-synchronized accesses #6016
Annotations
4 errors
|
tests/pass-dep/concurrency/linux-futex.rs#L1
no message
|
|
tests/pass-dep/concurrency/linux-futex.rs#L1
you likely need to bless the tests with `./miri test --bless`
|
|
tests/pass-dep/concurrency/linux-futex.rs#L139
Error: Undefined Behavior: Data race detected between (1) Read on thread `main` and (2) Read on thread `<unnamed>` at alloc1. (2) just happened here
|
|
|
The logs for this run have expired and are no longer available.
Loading