diff options
| author | Ralf Jung <post@ralfj.de> | 2025-04-04 13:24:39 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-04-04 13:24:39 +0000 |
| commit | 23f1dfeab8e17f44aa1ceb88f4c742c347ff9f1a (patch) | |
| tree | ea1b1a2f3c3c203f23df20095a5a52f681d474dd | |
| parent | ec1f3afa9c25b233978ed5c2f7ab41b1feeccfa8 (diff) | |
| parent | a503ecbfcbaed5c7fcb686b1b011f29bbab3e01a (diff) | |
| download | rust-23f1dfeab8e17f44aa1ceb88f4c742c347ff9f1a.tar.gz rust-23f1dfeab8e17f44aa1ceb88f4c742c347ff9f1a.zip | |
Merge pull request #4250 from asomers/patch-1
Add another Miri-detected bug to README.md
| -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 201aa1f5386..e8ea988558c 100644 --- a/src/tools/miri/README.md +++ b/src/tools/miri/README.md @@ -565,6 +565,7 @@ Definite bugs found: * [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) +* [Mockall reading unintialized memory when mocking `std::io::Read::read`, even if all expectations are satisfied](https://github.com/asomers/mockall/issues/647) (caught by Miri running Tokio's test suite) Violations of [Stacked Borrows] found that are likely bugs (but Stacked Borrows is currently just an experiment): |