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

Commit

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

update miri

Let's get rust-lang/miri#1842 shipped. :)
Also fixes #86863
Cc `@rust-lang/miri` r? `@ghost`

bors committed Jul 5, 2021

2 parents c54895b + 4f8e543 commit 5249414

+2 −0		.github/workflows/ci.yml
+100 −19		cargo-miri/bin.rs
+1 −1		rust-version
+1 −1		rustup-toolchain
+8 −6		src/eval.rs
+1 −1		src/helpers.rs
+4 −2		src/machine.rs
+2 −1		src/shims/backtrace.rs
+5 −5		src/shims/env.rs
+14 −9		src/shims/foreign_items.rs
+6 −6		src/shims/os_str.rs
+1 −1		src/shims/posix/foreign_items.rs
+1 −1		src/shims/posix/thread.rs
+1 −1		src/shims/windows/foreign_items.rs
+3 −0		test-cargo-miri/.gitignore
+21 −0		test-cargo-miri/run-test.py
+2 −0		test-cargo-miri/run.custom-target-dir.stderr.ref