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

Commit

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

update Miri

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

bors committed Jul 28, 2021

2 parents a28109a + 2acc83e commit b708886

+2 −1		README.md
+1 −1		rust-version
+1 −3		src/diagnostics.rs
+16 −0		src/eval.rs
+1 −1		src/helpers.rs
+4 −4		src/shims/env.rs
+180 −60		src/shims/posix/fs.rs
+12 −9		src/thread.rs
+13 −0		tests/compile-fail/alloc/global_system_mixup.rs
+2 −2		tests/compile-fail/concurrency/libc_pthread_create_main_terminate.rs
+54 −0		tests/run-pass/fs_with_isolation.rs
+20 −0		tests/run-pass/fs_with_isolation.stderr
+37 −0		tests/run-pass/threadleak_ignored.rs
+3 −0		tests/run-pass/threadleak_ignored.stderr