Skip to content

Commit

Permalink
Auto merge of #1368 - Robbepop:add-new-trophy-for-inks-lazyarray, r=R…
Browse files Browse the repository at this point in the history
…alfJung

Add miri trophy for LazyArray::swap (ink! PR)

Details to the found in #1364.
Note that this was not a found in a `master` or production release of ink!, however without analysing the code via `miri` this could have potentially happened.
  • Loading branch information
bors committed Apr 25, 2020
2 parents 01db8b4 + 72442ac commit 80af4d0
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 @@ -281,6 +281,7 @@ Violations of [Stacked Borrows] found that are likely bugs (but Stacked Borrows
* [Aliasing mutable references in `sized-chunks`](https://github.com/bodil/sized-chunks/issues/8)
* [`String::push_str` invalidating existing references into the string](https://github.com/rust-lang/rust/issues/70301)
* [`ryu` using raw pointers outside their valid memory area](https://github.com/dtolnay/ryu/issues/24)
* [`LazyArray::swap` method creating overlapping mutable references (ink! PR)](https://github.com/rust-lang/miri/issues/1364)

## License

Expand Down

0 comments on commit 80af4d0

Please sign in to comment.