Rollup merge of #96119 - RalfJung:miri, r=RalfJung · Dylan-DPC/rust@2da2934

Commit

Rollup merge of rust-lang#96119 - RalfJung:miri, r=RalfJung

update Miri

Fixes rust-lang#96115
r? `@rust-lang/miri`

Dylan-DPC authored Apr 16, 2022

2 parents 7f301cf + 5435320 commit 2da2934

+1 −1		Cargo.toml
+1 −1		cargo-miri/Cargo.toml
+1 −1		rust-version
+0 −1		src/bin/miri.rs
+4 −4		src/diagnostics.rs
+0 −1		src/eval.rs
+0 −1		src/helpers.rs
+0 −1		src/shims/backtrace.rs
+0 −1		src/shims/env.rs
+1 −5		src/shims/foreign_items.rs
+17 −5		src/shims/intrinsics.rs
+0 −1		src/shims/os_str.rs
+0 −1		src/shims/posix/fs.rs
+0 −2		src/shims/posix/thread.rs
+0 −1		src/shims/time.rs
+0 −1		src/sync.rs
+0 −1		src/thread.rs
+1 −1		src/vector_clock.rs
+1 −0		tests/run-pass/concurrency/channels.rs
+1 −1		tests/run-pass/concurrency/sync.rs
+1 −0		tests/run-pass/portable-simd.rs