Update miri · rust-lang/rust@400fd60

Commit

Update miri

Browse files

varkor committed Jun 30, 2019

1 parent 75f31e7 commit 400fd60

+1 −1		miri
+248 −0		src/eval.rs
+1 −1		src/helpers.rs
+49 −21		src/intptrcast.rs
+14 −574		src/lib.rs
+388 −0		src/machine.rs
+0 −51		src/memory.rs
+1 −1		src/operator.rs
+13 −7		src/shims/foreign_items.rs
+0 −0		src/shims/intrinsics.rs
+2 −0		src/shims/mod.rs
+13 −4		test-cargo-miri/Cargo.lock
+2 −1		test-cargo-miri/Cargo.toml
+3 −3		test-cargo-miri/run-test.py
+3 −0		test-cargo-miri/src/main.rs
+5 −3		test-cargo-miri/test.stdout.ref
+2 −2		test-cargo-miri/test.stdout.ref2
+19 −7		test-cargo-miri/tests/test.rs
+18 −0		tests/compile-fail/intptrcast_alignment_check.rs
+5 −0		tests/run-pass/intptrcast.rs
+6 −0		tests/run-pass/intptrcast_format.rs
+2 −0		tests/run-pass/intptrcast_format.stdout
+3 −1		tests/run-pass/issue-30530.rs
+1 −2		tests/run-pass/sync.rs