Rollup merge of #74146 - RalfJung:miri, r=RalfJung · rust-lang/rust@ef081d1

Commit

Rollup merge of #74146 - RalfJung:miri, r=RalfJung

update miri

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

Manishearth authored Jul 8, 2020

2 parents 38e67bd + 512f9e9 commit ef081d1

+3 −0		README.md
+4 −1		cargo-miri/bin.rs
+4 −4		miri
+1 −1		rust-version
+21 −7		src/bin/miri.rs
+5 −2		src/diagnostics.rs
+5 −1		src/eval.rs
+1 −1		src/lib.rs
+10 −5		src/machine.rs
+2 −2		src/shims/env.rs
+0 −10		src/shims/intrinsics.rs
+12 −6		src/stacked_borrows.rs
+10 −0		tests/compile-fail/validity/invalid_bool_uninit.rs
+10 −0		tests/compile-fail/validity/invalid_char_uninit.rs
+1 −1		tests/compile-fail/validity/invalid_enum_tag.rs
+270 −0		tests/compile-fail/validity/invalid_enum_tag_256variants_uninit.rs
+10 −0		tests/compile-fail/validity/invalid_fnptr_uninit.rs
+1 −1		tests/compile-fail/validity/transmute_through_ptr.rs
+1 −1		tests/run-pass/float.rs
+1 −1		tests/run-pass/track-caller-attribute.rs