From ea4a5587ca230b9f485085fb5c5891de9452bf13 Mon Sep 17 00:00:00 2001 From: Youngsuk Kim Date: Mon, 8 Jun 2020 17:30:43 -0400 Subject: [PATCH] Add a case to list of 'StackedBorrows violations' A small fix was made to libstd in rust-lang/rust#70479 (back in March). (Miri reported UB due to Stacked Borrows violation - [link to Miri error log](https://github.com/rust-lang/miri/pull/1225#discussion_r397830221)) Thank you for reviewing :+1: --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index b2738bb062..6b2b36d18c 100644 --- a/README.md +++ b/README.md @@ -295,6 +295,7 @@ 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) ## License