From 72442acaff7c1f2fc805f5cbd39d1661e50cd9d3 Mon Sep 17 00:00:00 2001 From: Hero Bird Date: Sat, 25 Apr 2020 14:58:20 +0200 Subject: [PATCH] Add miri trophy for LazyArray::swap (ink! PR) Details to the found in https://github.com/rust-lang/miri/issues/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. --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index ea2aa955ba4..d29f1e2be25 100644 --- a/README.md +++ b/README.md @@ -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 -- 2.44.0