Auto merge of #85524 - RalfJung:miri, r=RalfJung · rust-lang-ci/rust@746ac21

Commit

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

update miri

Fixes rust-lang#85468

bors committed May 20, 2021

2 parents 40d2302 + 6725104 commit 746ac21

+23 −0		.github/workflows/ci.yml
+1 −2		benches/helpers/miri_helper.rs
+1 −1		rust-version
+2 −2		src/data_race.rs
+4 −4		src/diagnostics.rs
+10 −5		src/helpers.rs
+48 −56		src/machine.rs
+31 −5		src/shims/intrinsics.rs
+7 −10		src/shims/os_str.rs
+6 −4		src/shims/posix/fs.rs
+2 −1		src/shims/posix/linux/sync.rs
+1 −1		src/stacked_borrows.rs
+2 −1		tests/compile-fail/data_race/alloc_read_race.rs
+3 −7		tests/compile-fail/data_race/alloc_write_race.rs