Auto merge of #84900 - hyd-dev:miri, r=RalfJung · Dylan-DPC-zz/rust@8bf0bd9

Commit

Auto merge of rust-lang#84900 - hyd-dev:miri, r=RalfJung

Update Miri

This should fix rust-lang#84848.

r? `@RalfJung`

bors committed May 4, 2021

2 parents dc5f2cd + db90c90 commit 8bf0bd9

+4 −0		Cargo.toml
+1 −1		README.md
+1 −1		rust-version
+2 −2		src/helpers.rs
+6 −6		src/shims/foreign_items.rs
+26 −0		src/shims/intrinsics.rs
+7 −0		tests/compile-fail/fast_math_both.rs
+7 −0		tests/compile-fail/fast_math_first.rs
+7 −0		tests/compile-fail/fast_math_second.rs
+1 −1		tests/compile-fail/validity/cast_fn_ptr1.rs
+1 −1		tests/compile-fail/validity/cast_fn_ptr2.rs
+1 −5		tests/compiletest.rs