diff options
| author | Ralf Jung <post@ralfj.de> | 2024-11-20 21:56:57 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-11-20 21:56:57 +0000 |
| commit | 7e6c8d21c61b1b6471c316df98cd119e5cb5fe46 (patch) | |
| tree | 1b9404bfb2ca876b02708e5ec08f55f1e38ecb80 | |
| parent | e6946883ec15cf651ee18d2781c8d9adc8d08d1a (diff) | |
| parent | 9e720acc349c8de687d9afb7cbea71b6132d4f6c (diff) | |
| download | rust-7e6c8d21c61b1b6471c316df98cd119e5cb5fe46.tar.gz rust-7e6c8d21c61b1b6471c316df98cd119e5cb5fe46.zip | |
Merge pull request #4042 from RalfJung/trophy
trophy case: add RwLock::downgrade bug
| -rw-r--r-- | src/tools/miri/README.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/miri/README.md b/src/tools/miri/README.md index a73fefaaf34..9a683ae68fd 100644 --- a/src/tools/miri/README.md +++ b/src/tools/miri/README.md @@ -548,6 +548,7 @@ Definite bugs found: * [Incorrect offset computation for highly-aligned types in `portable-atomic-util`](https://github.com/taiki-e/portable-atomic/pull/138) * [Occasional memory leak in `std::mpsc` channels](https://github.com/rust-lang/rust/issues/121582) (original code in [crossbeam](https://github.com/crossbeam-rs/crossbeam/pull/1084)) * [Weak-memory-induced memory leak in Windows thread-local storage](https://github.com/rust-lang/rust/pull/124281) +* [A bug in the new `RwLock::downgrade` implementation](https://rust-lang.zulipchat.com/#narrow/channel/269128-miri/topic/Miri.20error.20library.20test) (caught by Miri before it landed in the Rust repo) Violations of [Stacked Borrows] found that are likely bugs (but Stacked Borrows is currently just an experiment): |