From: Ralf Jung Date: Tue, 2 Jul 2019 07:51:16 +0000 (+0200) Subject: add another bug we found to the list X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=e8e42ab5ecead88c23dec9eab9a23019e45410fd;p=rust.git add another bug we found to the list --- diff --git a/README.md b/README.md index be104ed0b2b..8c0c87ab9eb 100644 --- a/README.md +++ b/README.md @@ -327,6 +327,7 @@ Miri has already found a number of bugs in the Rust standard library and beyond, Definite bugs found: * [`Debug for vec_deque::Iter` accessing uninitialized memory](https://github.com/rust-lang/rust/issues/53566) +* [`Vec::into_iter` doing an unaligned ZST read](https://github.com/rust-lang/rust/pull/53804) * [`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)