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

Commit

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

update miri

Fixes #75630
Cc @rust-lang/miri r? @ghost

bors committed Aug 18, 2020

2 parents 2c3dc04 + 208535b commit a45dedf

+14 −5		README.md
+1 −1		rust-version
+17 −37		src/bin/miri.rs
+4 −3		src/diagnostics.rs
+13 −3		src/eval.rs
+1 −1		src/lib.rs
+9 −4		src/machine.rs
+18 −17		src/shims/mod.rs
+35 −34		src/shims/posix/fs.rs
+6 −4		tests/compile-fail/unaligned_pointers/alignment.rs
+2 −1		tests/compile-fail/unaligned_pointers/atomic_unaligned.rs
+13 −11		tests/compile-fail/unaligned_pointers/dyn_alignment.rs
+8 −5		tests/compile-fail/unaligned_pointers/intptrcast_alignment_check.rs
+8 −6		tests/compile-fail/unaligned_pointers/reference_to_packed.rs
+6 −4		tests/compile-fail/unaligned_pointers/unaligned_ptr1.rs
+3 −1		tests/compile-fail/unaligned_pointers/unaligned_ptr2.rs
+7 −6		tests/compile-fail/unaligned_pointers/unaligned_ptr3.rs
+7 −5		tests/compile-fail/unaligned_pointers/unaligned_ptr_addr_of.rs
+6 −5		tests/compile-fail/unaligned_pointers/unaligned_ptr_zst.rs
+25 −0		tests/run-pass/align.rs
+2 −0		tests/run-pass/align_offset_symbolic.rs
+0 −0		tests/run-pass/align_offset_symbolic.stdout
+4 −1		tests/run-pass/panic/catch_panic.rs
+12 −12		tests/run-pass/panic/catch_panic.stderr