Skip to content

Commit

Permalink
Auto merge of rust-lang#3332 - RalfJung:trophy, r=RalfJung
Browse files Browse the repository at this point in the history
add mpsc memory leak to trophy case
  • Loading branch information
bors committed Feb 27, 2024
2 parents c162ea8 + c764aba commit bc76256
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/tools/miri/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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):

Expand Down

0 comments on commit bc76256

Please sign in to comment.