From 2589b482516941c109c1ab2f98dd446e23ca6887 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 28 Oct 2020 14:05:37 +0100 Subject: [PATCH] update trophy case --- README.md | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 1de1c2e4c1b..15dfddd6589 100644 --- a/README.md +++ b/README.md @@ -388,7 +388,10 @@ Definite bugs found: Violations of [Stacked Borrows] found that are likely bugs (but Stacked Borrows is currently just an experiment): * [`VecDeque::drain` creating overlapping mutable references](https://github.com/rust-lang/rust/pull/56161) -* [`BTreeMap` iterators creating mutable references that overlap with shared references](https://github.com/rust-lang/rust/pull/58431) +* Various `BTreeMap` problems + * [`BTreeMap` iterators creating mutable references that overlap with shared references](https://github.com/rust-lang/rust/pull/58431) + * [`BTreeMap::iter_mut` creating overlapping mutable references](https://github.com/rust-lang/rust/issues/73915) + * [`BTreeMap` node insertion using raw pointers outside their valid memory area](https://github.com/rust-lang/rust/issues/78477) * [`LinkedList` cursor insertion creating overlapping mutable references](https://github.com/rust-lang/rust/pull/60072) * [`Vec::push` invalidating existing references into the vector](https://github.com/rust-lang/rust/issues/60847) * [`align_to_mut` violating uniqueness of mutable references](https://github.com/rust-lang/rust/issues/68549) @@ -397,9 +400,9 @@ Violations of [Stacked Borrows] found that are likely bugs (but Stacked Borrows * [`ryu` using raw pointers outside their valid memory area](https://github.com/dtolnay/ryu/issues/24) * [ink! creating overlapping mutable references](https://github.com/rust-lang/miri/issues/1364) * [TiKV creating overlapping mutable reference and raw pointer](https://github.com/tikv/tikv/pull/7709) -* [Windows `Env` iterator creating `*const T` from `&T` to read memory outside of `T`](https://github.com/rust-lang/rust/pull/70479) -* [`BTreeMap::iter_mut` creating overlapping mutable references](https://github.com/rust-lang/rust/issues/73915) +* [Windows `Env` iterator using a raw pointer outside its valid memory area](https://github.com/rust-lang/rust/pull/70479) * [`VecDeque::iter_mut` creating overlapping mutable references](https://github.com/rust-lang/rust/issues/74029) +* [Standard library `SipHasher` using a raw pointer outside its valid memory area](https://github.com/rust-lang/rust/pull/78484) ## License -- 2.44.0