Skip to content

Commit e086ae5

Browse files
committed
Auto merge of #1551 - RalfJung:readme, r=RalfJung
list two more aliasing problems we found in BTreeMap and VecDeque
2 parents 84a4514 + 5652052 commit e086ae5

File tree

1 file changed

+5
-3
lines changed

1 file changed

+5
-3
lines changed

README.md

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -330,9 +330,9 @@ Definite bugs found:
330330

331331
Violations of [Stacked Borrows] found that are likely bugs (but Stacked Borrows is currently just an experiment):
332332

333-
* [`VecDeque` creating overlapping mutable references](https://github.com/rust-lang/rust/pull/56161)
334-
* [`BTreeMap` creating mutable references that overlap with shared references](https://github.com/rust-lang/rust/pull/58431)
335-
* [`LinkedList` creating overlapping mutable references](https://github.com/rust-lang/rust/pull/60072)
333+
* [`VecDeque::drain` creating overlapping mutable references](https://github.com/rust-lang/rust/pull/56161)
334+
* [`BTreeMap` iterators creating mutable references that overlap with shared references](https://github.com/rust-lang/rust/pull/58431)
335+
* [`LinkedList` cursor insertion creating overlapping mutable references](https://github.com/rust-lang/rust/pull/60072)
336336
* [`Vec::push` invalidating existing references into the vector](https://github.com/rust-lang/rust/issues/60847)
337337
* [`align_to_mut` violating uniqueness of mutable references](https://github.com/rust-lang/rust/issues/68549)
338338
* [`sized-chunks` creating aliasing mutable references](https://github.com/bodil/sized-chunks/issues/8)
@@ -341,6 +341,8 @@ Violations of [Stacked Borrows] found that are likely bugs (but Stacked Borrows
341341
* [ink! creating overlapping mutable references](https://github.com/rust-lang/miri/issues/1364)
342342
* [TiKV creating overlapping mutable reference and raw pointer](https://github.com/tikv/tikv/pull/7709)
343343
* [Windows `Env` iterator creating `*const T` from `&T` to read memory outside of `T`](https://github.com/rust-lang/rust/pull/70479)
344+
* [`BTreeMap::iter_mut` creating overlapping mutable references](https://github.com/rust-lang/rust/issues/73915)
345+
* [`VecDeque::iter_mut` creating overlapping mutable references](https://github.com/rust-lang/rust/issues/74029)
344346

345347
## License
346348

0 commit comments

Comments
 (0)