diff options
| author | bors <bors@rust-lang.org> | 2024-02-27 07:27:56 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-02-27 07:27:56 +0000 |
| commit | bc76256efb992cd9e6dbf2043482c599cc71f354 (patch) | |
| tree | a3e37d931177e739fe57bd374aed1ca814db383a | |
| parent | c162ea8f5b8877f35e0bd1dc079add8686041bf1 (diff) | |
| parent | c764aba15b09474dbaabf91243c316b0445557ab (diff) | |
| download | rust-bc76256efb992cd9e6dbf2043482c599cc71f354.tar.gz rust-bc76256efb992cd9e6dbf2043482c599cc71f354.zip | |
Auto merge of #3332 - RalfJung:trophy, r=RalfJung
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): |