Skip to content

Commit

Permalink
Add a case to list of 'StackedBorrows violations'
Browse files Browse the repository at this point in the history
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](rust-lang#1225 (comment)))

Thank you for reviewing 👍
  • Loading branch information
JOE1994 authored Jun 8, 2020
1 parent 592d621 commit ea4a558
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down

0 comments on commit ea4a558

Please sign in to comment.