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

Merge pull request #4838 from RalfJung/oneshot-trophy

Browse source 
trophy case: oneshot data race
This commit is contained in:
Ralf Jung 2026-01-31 10:30:14 +00:00 • committed by GitHub
commit c18e790051
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
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):