Auto merge of #66243 - RalfJung:miri, r=RalfJung · rust-lang/rust@eb981a1

Commit

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

update miri

Fixes #66179

r? @ghost

bors committed Nov 9, 2019

2 parents 5a50275 + 145e193 commit eb981a1

src/tools/miri

Submodule miri updated 35 files

+1 −2		.appveyor.yml
+1 −2		.travis.yml
+1 −1		rust-version
+3 −1		src/bin/cargo-miri.rs
+16 −28		src/eval.rs
+1 −1		src/intptrcast.rs
+3 −3		src/machine.rs
+21 −35		src/operator.rs
+1 −1		src/shims/dlsym.rs
+1 −1		src/shims/env.rs
+32 −32		src/shims/foreign_items.rs
+6 −4		src/shims/fs.rs
+13 −23		src/shims/intrinsics.rs
+1 −1		src/shims/mod.rs
+2 −2		src/stacked_borrows.rs
+1 −0		test-cargo-miri/tests/test.rs
+1 −1		tests/compile-fail/exact_div2.rs
+1 −1		tests/compile-fail/exact_div3.rs
+7 −0		tests/compile-fail/ptr_offset_0_plus_0.rs
+2 −0		tests/compile-fail/validity/invalid_wide_raw.rs
+2 −3		tests/compiletest.rs
+0 −31		tests/run-pass/box_box_trait.rs
+14 −2		tests/run-pass/closures.rs
+0 −0		tests/run-pass/drop_on_array_elements.rs
+0 −0		tests/run-pass/drop_on_fat_ptr_array_elements.rs
+0 −0		tests/run-pass/drop_on_zst_array_elements.rs
+0 −0		tests/run-pass/drop_through_owned_slice.rs
+0 −0		tests/run-pass/drop_through_trait_object.rs
+0 −0		tests/run-pass/drop_through_trait_object_rc.rs
+145 −0		tests/run-pass/dyn-traits.rs
+1 −1		tests/run-pass/iter.rs
+29 −0		tests/run-pass/ptr_offset_from.rs
+29 −0		tests/run-pass/stacked-borrows/stacked-borrows.rs
+7 −0		tests/run-pass/stacked-borrows/stacked-borrows.stderr
+0 −30		tests/run-pass/traits.rs

Please sign in to comment.