Auto merge of #63320 - RalfJung:miri, r=oli-obk · rust-lang/rust@c326c2e

Commit

Auto merge of #63320 - RalfJung:miri, r=oli-obk

bump Miri

r? @oli-obk

Fixes #63219.

bors committed Aug 6, 2019

2 parents 6a91782 + c048087 commit c326c2e

src/tools/miri

Submodule miri updated 35 files

+1 −0		README.md
+1 −1		rust-version
+54 −14		src/bin/cargo-miri.rs
+5 −6		src/eval.rs
+15 −6		src/helpers.rs
+7 −7		src/intptrcast.rs
+0 −2		src/lib.rs
+5 −5		src/machine.rs
+28 −210		src/operator.rs
+2 −4		src/shims/dlsym.rs
+64 −53		src/shims/foreign_items.rs
+77 −40		src/shims/intrinsics.rs
+5 −5		src/shims/tls.rs
+12 −52		src/stacked_borrows.rs
+1 −1		tests/compile-fail/assume.rs
+0 −9		tests/compile-fail/atomic_non_integer_arithmetic.rs
+12 −0		tests/compile-fail/atomic_unaligned.rs
+1 −1		tests/compile-fail/ctlz_nonzero.rs
+1 −1		tests/compile-fail/cttz_nonzero.rs
+7 −0		tests/compile-fail/dangling_zst_deref.rs
+1 −1		tests/compile-fail/overflowing-unchecked-rsh.rs
+0 −7		tests/compile-fail/pointers_to_different_allocations_are_unorderable.rs
+0 −7		tests/compile-fail/ptr_ge_integer.rs
+1 −1		tests/compile-fail/stacked_borrows/buggy_split_at_mut.rs
+8 −3		tests/compile-fail/stacked_borrows/return_invalid_mut_option.rs
+3 −2		tests/compile-fail/stacked_borrows/return_invalid_mut_tuple.rs
+6 −2		tests/compile-fail/stacked_borrows/return_invalid_shr_option.rs
+3 −2		tests/compile-fail/stacked_borrows/return_invalid_shr_tuple.rs
+8 −3		tests/compiletest.rs
+0 −19		tests/run-pass/atomic-access-bool.rs
+36 −3		tests/run-pass/atomic.rs
+7 −0		tests/run-pass/intrinsics-math.rs
+17 −0		tests/run-pass/linux-getrandom.rs
+0 −33		tests/run-pass/refcell.rs
+68 −0		tests/run-pass/stacked-borrows/refcell.rs

Please sign in to comment.