Auto merge of #69961 - RalfJung:miri, r=RalfJung · rust-lang/rust@5da2e53

Commit

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

update miri

r? @ghost
Cc @oli-obk

Fixes #69855

bors committed Mar 15, 2020

2 parents 5a72ecf + b8ac984 commit 5da2e53

src/tools/miri

Submodule miri updated 40 files

+55 −49		Cargo.lock
+4 −0		README.md
+1 −10		benches/helpers/miri_helper.rs
+1 −1		rust-version
+2 −20		src/bin/miri-rustc-tests.rs
+25 −10		src/bin/miri.rs
+5 −1		src/diagnostics.rs
+20 −1		src/eval.rs
+1 −0		src/lib.rs
+35 −15		src/machine.rs
+48 −4		src/shims/env.rs
+35 −38		src/shims/foreign_items.rs
+5 −0		src/shims/foreign_items/posix/macos.rs
+4 −4		src/shims/fs.rs
+20 −21		src/shims/intrinsics.rs
+17 −17		src/shims/mod.rs
+88 −83		src/shims/panic.rs
+9 −0		tests/compile-fail/abort-terminator.rs
+24 −0		tests/compile-fail/environ-gets-deallocated.rs
+2 −2		tests/compile-fail/exact_div4.rs
+1 −1		tests/compile-fail/never_transmute_humans.rs
+1 −1		tests/compile-fail/ptr_offset_overflow.rs
+1 −2		tests/compile-fail/slice-too-big.rs
+1 −1		tests/compile-fail/unchecked_div1.rs
+3 −3		tests/run-pass/align_offset.rs
+7 −1		tests/run-pass/clock.rs
+19 −2		tests/run-pass/env.rs
+14 −0		tests/run-pass/env.stdout
+5 −1		tests/run-pass/fs.rs
+4 −7		tests/run-pass/integer-ops.rs
+4 −4		tests/run-pass/ints.rs
+70 −17		tests/run-pass/panic/catch_panic.rs
+29 −11		tests/run-pass/panic/catch_panic.stderr
+1 −1		tests/run-pass/panic/overflowing-rsh-2.rs
+0 −2		tests/run-pass/pointers.rs
+2 −2		tests/run-pass/ptr_arith_offset_overflow.rs
+1 −1		tests/run-pass/ptr_int_casts.rs
+0 −0		tests/run-pass/transmute_fat2.rs
+0 −0		tests/run-pass/transmute_fat2.stderr
+2 −2		tests/run-pass/u128.rs

Please sign in to comment.