Auto merge of #76469 - RalfJung:miri, r=RalfJung · rust-lang/rust@7bc0bf7

Commit

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

update Miri

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

bors committed Sep 8, 2020

2 parents 5a6b426 + fb97024 commit 7bc0bf7

+2 −2		ci.sh
+1 −1		rust-version
+31 −1		src/helpers.rs
+1 −0		src/lib.rs
+4 −4		src/shims/intrinsics.rs
+5 −0		src/shims/posix/foreign_items.rs
+16 −22		src/shims/posix/sync.rs
+37 −0		src/shims/time.rs
+1 −1		src/stacked_borrows.rs
+2 −1		tests/compile-fail/invalid_bool.rs
+2 −2		tests/compile-fail/unaligned_pointers/unaligned_ptr_zst.rs
+32 −0		tests/run-pass/concurrency/libc_pthread_cond.rs
+4 −5		tests/run-pass/float.rs
+12 −0		tests/run-pass/time.rs
+2 −1		tests/run-pass/u128.rs