From a4c852ddfe95b8726ca4e23f49290f2a561dbd40 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 15 Feb 2019 10:43:27 +0100 Subject: [PATCH] link to bug list from intro --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index a9e9ee0a1e3c..897bf0b66e7e 100644 --- a/README.md +++ b/README.md @@ -15,6 +15,8 @@ for example: or an invalid enum discriminant) * WIP: Violations of the rules governing aliasing for reference types +Miri has already discovered some [real-world bugs](#bugs-found-by-miri). + [rust]: https://www.rust-lang.org/ [mir]: https://github.com/rust-lang/rfcs/blob/master/text/1211-mir.md [`unreachable_unchecked`]: https://doc.rust-lang.org/stable/std/hint/fn.unreachable_unchecked.html @@ -256,7 +258,7 @@ used according to their aliasing restrictions. Miri has already found a number of bugs in the Rust standard library, which we collect here. -* [`vec_deque::Iter` having an unsound `Debug` implementation](https://github.com/rust-lang/rust/issues/53566) +* [`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) * [`VecDeque` creating overlapping mutable references](https://github.com/rust-lang/rust/pull/56161)