Auto merge of #71687 - RalfJung:miri, r=RalfJung · rust-lang/rust@7c8dbd9

Commit

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

update Miri

Fixes #71632
r? @ghost
Cc @rust-lang/miri

bors committed Apr 30, 2020

2 parents 1357af3 + a430bd5 commit 7c8dbd9

+3 −5		README.md
+1 −1		benches/helpers/miri_helper.rs
+1 −7		build.rs
+1 −1		rust-version
+13 −7		src/bin/cargo-miri.rs
+1 −1		src/bin/miri-rustc-tests.rs
+8 −3		src/bin/miri.rs
+14 −4		src/diagnostics.rs
+0 −0		tests/compile-fail/overwriting_part_of_relocation_makes_the_rest_uninit.rs
+4 −0		tests/compile-fail/rustc-error.rs
+17 −0		tests/compile-fail/shim_arg_size.rs
+0 −0		tests/compile-fail/transmute-pair-uninit.rs
+20 −0		tests/compile-fail/uninit_buffer.rs
+0 −0		tests/compile-fail/uninit_byte_read.rs
+1 −1		tests/compiletest.rs
+0 −0		tests/run-pass/move-uninit-primval.rs