diff options
| author | Ralf Jung <post@ralfj.de> | 2024-02-27 07:07:22 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-02-27 07:07:22 +0100 |
| commit | c764aba15b09474dbaabf91243c316b0445557ab (patch) | |
| tree | 599441ceb0b8f9bb44d69a4245d597d1a82a4b8f | |
| parent | c414c08da3265390965ccc1f51d8da4f6b3375cb (diff) | |
| download | rust-c764aba15b09474dbaabf91243c316b0445557ab.tar.gz rust-c764aba15b09474dbaabf91243c316b0445557ab.zip | |
add mpsc memory leak to trophy case
| -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 944d2bbe879..2b5ffb1a33d 100644 --- a/src/tools/miri/README.md +++ b/src/tools/miri/README.md @@ -588,6 +588,7 @@ Definite bugs found: * [Dropping with unaligned pointers in `vec::IntoIter`](https://github.com/rust-lang/rust/pull/106084) * [Deallocating with the wrong layout in new specializations for in-place `Iterator::collect`](https://github.com/rust-lang/rust/pull/118460) * [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)) Violations of [Stacked Borrows] found that are likely bugs (but Stacked Borrows is currently just an experiment): |