Auto merge of #78540 - RalfJung:miri, r=RalfJung · rust-lang/rust@c792f03

Commit

Auto merge of #78540 - RalfJung:miri, r=RalfJung

update Miri

Cc `@rust-lang/miri` r? `@ghost`

bors committed Oct 30, 2020

2 parents a3d7a5e + 82634ff commit c792f03

+16 −8		README.md
+2 −0		cargo-miri/bin.rs
+1 −1		miri
+1 −1		rust-version
+3 −0		src/bin/miri.rs
+4 −0		src/diagnostics.rs
+4 −10		src/eval.rs
+11 −12		src/machine.rs
+17 −13		src/range_map.rs
+47 −44		src/stacked_borrows.rs
+13 −0		tests/compile-fail/stacked_borrows/raw_tracking.rs
+0 −28		tests/run-pass/box-pair-to-vec.rs
+60 −0		tests/run-pass/box.rs
+0 −0		tests/run-pass/box.stdout
+2 −1		tests/run-pass/dyn-traits.rs
+0 −1		tests/run-pass/panic/catch_panic.rs
+0 −2		tests/run-pass/panic/catch_panic.stderr
+2 −0		tests/run-pass/vec.rs
+2 −0		tests/run-pass/vecdeque.rs