From ff6f1010747104db6af41b2a49d168af66328910 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 23 May 2019 16:33:44 +0200 Subject: [PATCH] add more bugs that Miri found --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index ae2f5f506f16..d3a06dea6d27 100644 --- a/README.md +++ b/README.md @@ -317,6 +317,7 @@ Definite bugs found: * [`Debug for vec_deque::Iter` accessing uninitialized memory](https://github.com/rust-lang/rust/issues/53566) * [`From<&[T]> for Rc` creating a not sufficiently aligned reference](https://github.com/rust-lang/rust/issues/54908) * [`BTreeMap` creating a shared reference pointing to a too small allocation](https://github.com/rust-lang/rust/issues/54957) +* [`Vec::append` creating a dangling reference](https://github.com/rust-lang/rust/pull/61082) * [Futures turning a shared reference into a mutable one](https://github.com/rust-lang/rust/pull/56319) * [`str` turning a shared reference into a mutable one](https://github.com/rust-lang/rust/pull/58200) * [`rand` performing unaligned reads](https://github.com/rust-random/rand/issues/779) @@ -326,6 +327,7 @@ Violations of Stacked Borrows found that are likely bugs (but Stacked Borrows is * [`VecDeque` creating overlapping mutable references](https://github.com/rust-lang/rust/pull/56161) * [`BTreeMap` creating mutable references that overlap with shared references](https://github.com/rust-lang/rust/pull/58431) * [`LinkedList` 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) ## License