Auto merge of #76283 - RalfJung:miri, r=RalfJung · rust-lang-ci/rust@3edf11c

Commit

Auto merge of rust-lang#76283 - RalfJung:miri, r=RalfJung

update miri

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

bors committed Sep 3, 2020

2 parents 08deb86 + 615c146 commit 3edf11c

+1 −1		rust-version
+0 −6		src/eval.rs
+20 −4		src/helpers.rs
+0 −10		src/machine.rs
+5 −4		src/shims/panic.rs
+1 −1		src/shims/posix/linux/foreign_items.rs
+1 −1		src/shims/posix/macos/foreign_items.rs
+25 −0		src/thread.rs
+12 −0		test-cargo-miri/run-test.py
+12 −0		test-cargo-miri/test.stdout.ref4
+6 −0		test-cargo-miri/test.stdout.ref5
+20 −0		tests/run-pass/libc.rs
+2 −0		tests/run-pass/libc.stderr
+91 −0		tests/run-pass/panic/concurrent-panic.rs
+11 −0		tests/run-pass/panic/concurrent-panic.stderr
+1 −1		tests/run-pass/stacked-borrows/interior_mutability.rs