Auto merge of #77500 - RalfJung:miri, r=RalfJung · rust-lang/rust@25c8c53

Commit

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

update Miri

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

bors committed Oct 3, 2020

2 parents 738d4a7 + 9f1861e commit 25c8c53

+1 −1		rust-version
+1 −1		src/bin/miri.rs
+1 −1		src/helpers.rs
+4 −4		src/shims/env.rs
+20 −22		src/shims/posix/fs.rs
+27 −5		src/shims/posix/linux/foreign_items.rs
+1 −0		src/shims/posix/linux/mod.rs
+133 −0		src/shims/posix/linux/sync.rs
+1 −1		src/shims/posix/sync.rs
+8 −8		src/shims/time.rs
+34 −0		src/sync.rs
+1 −1		tests/compile-fail/fs/isolated_stdin.rs
+132 −0		tests/run-pass/concurrency/linux-futex.rs
+2 −0		tests/run-pass/concurrency/linux-futex.stderr
+30 −0		tests/run-pass/concurrency/sync.rs