user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

new trophy case entry

Browse source
This commit is contained in:
Ralf Jung 2023-12-03 10:45:10 +01:00
parent 6318e9dd89
commit 323ca94d92
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/tools/miri/README.md
View file

@ -589,6 +589,7 @@ Definite bugs found:
* [`regex` incorrectly handling unaligned `Vec<u8>` buffers](https://www.reddit.com/r/rust/comments/vq3mmu/comment/ienc7t0?context=3)
* [Incorrect use of `compare_exchange_weak` in `once_cell`](https://github.com/matklad/once_cell/issues/186)
* [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)
Violations of [Stacked Borrows] found that are likely bugs (but Stacked Borrows is currently just an experiment):