user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

trophy case: oneshot data race

Browse source
This commit is contained in:
Ralf Jung 2026-01-31 11:06:30 +01:00
parent 85134745cb
commit 455172fd0e
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/tools/miri/README.md
View file

@ -627,6 +627,7 @@ Definite bugs found:
* [Rare Deadlock in the thread (un)parking example code](https://github.com/rust-lang/rust/issues/145816)
* [`winit` registering a global constructor with the wrong ABI on Windows](https://github.com/rust-windowing/winit/issues/4435)
* [`VecDeque::splice` confusing physical and logical indices](https://github.com/rust-lang/rust/issues/151758)
* [Data race in `oneshot` channel](https://github.com/faern/oneshot/issues/69)
Violations of [Stacked Borrows] found that are likely bugs (but Stacked Borrows is currently just an experiment):