Rollup merge of #96119 - RalfJung:miri, r=RalfJung · rust-lang/rust@13d3d0e

Commit

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

update Miri

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

Dylan-DPC authored Apr 16, 2022

2 parents 99437b3 + 5435320 commit 13d3d0e

+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