]> git.lizzy.rs Git - rust.git/commitdiff
Add a case to list of 'StackedBorrows violations'
authorYoungsuk Kim <joseph942010@gmail.com>
Mon, 8 Jun 2020 21:30:43 +0000 (17:30 -0400)
committerGitHub <noreply@github.com>
Mon, 8 Jun 2020 21:30:43 +0000 (17:30 -0400)
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

index b2738bb062aa2d90331b69ec6cb1faacf0da2b82..6b2b36d18c32f0f69daa4a6c92e02da0a116cb59 100644 (file)
--- 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