Auto merge of #91344 - RalfJung:miri, r=RalfJung · rust-lang/rust@9981e56

Commit

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

update Miri

Fixes #91289

bors committed Nov 29, 2021

2 parents a19e748 + 8a7e90a commit 9981e56

src/tools/miri

Submodule miri updated 32 files

+1 −2		.github/workflows/ci.yml
+7 −8		README.md
+3 −0		cargo-miri/miri
+3 −2		miri
+1 −1		rust-version
+7 −1		src/bin/miri.rs
+2 −2		src/eval.rs
+11 −7		src/machine.rs
+46 −0		src/shims/intrinsics.rs
+5 −5		src/stacked_borrows.rs
+1 −1		test-cargo-miri/run-test.py
+1 −1		tests/compile-fail/box-cell-alias.rs
+0 −0		tests/compile-fail/intrinsics/div-by-zero.rs
+0 −0		tests/compile-fail/intrinsics/rem-by-zero.rs
+15 −0		tests/compile-fail/intrinsics/simd-div-by-zero.rs
+15 −0		tests/compile-fail/intrinsics/simd-rem-by-zero.rs
+15 −0		tests/compile-fail/intrinsics/simd-shl-too-far.rs
+15 −0		tests/compile-fail/intrinsics/simd-shr-too-far.rs
+1 −1		tests/compile-fail/stacked_borrows/raw_tracking.rs
+1 −1		tests/compile-fail/stacked_borrows/zst_slice.rs
+30 −12		tests/run-pass/async-fn.rs
+1 −1		tests/run-pass/btreemap.rs
+1 −1		tests/run-pass/concurrency/tls_lib_drop_single_thread.rs
+33 −0		tests/run-pass/issue-miri-1925.rs
+18 −0		tests/run-pass/overflow_checks_off.rs
+31 −0		tests/run-pass/portable-simd.rs
+1 −1		tests/run-pass/rc.rs
+1 −1		tests/run-pass/slices.rs
+1 −1		tests/run-pass/stacked-borrows/stacked-borrows.rs
+1 −1		tests/run-pass/strings.rs
+1 −1		tests/run-pass/vec.rs
+1 −1		tests/run-pass/vecdeque.rs

Please sign in to comment.