update miri · Manishearth/rust@35fae73

Commit

update miri

Browse files

RalfJung committed Jul 9, 2020

1 parent 8ac1525 commit 35fae73

+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