Auto merge of #84481 - RalfJung:miri, r=RalfJung · rust-lang-ci/rust@e7ed7e8

Commit

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

update Miri

Fixes rust-lang#84553
Cc `@rust-lang/miri` r? `@ghost`

bors committed Apr 25, 2021

2 parents 58bdb08 + b630c8b commit e7ed7e8

+5 −4		README.md
+54 −79		cargo-miri/bin.rs
+1 −1		rust-version
+1 −1		tests/compile-fail/invalid_bool.rs
+6 −0		tests/run-pass/concurrency/tls_lib_drop.rs
+1 −0		tests/run-pass/concurrency/tls_lib_drop.stdout
+7 −0		tests/run-pass/concurrency/tls_lib_drop_single_thread.rs
+1 −0		tests/run-pass/concurrency/tls_lib_drop_single_thread.stderr
+0 −0		tests/run-pass/concurrency/tls_pthread_drop_order.rs
+1 −1		tests/run-pass/float.rs
+1 −1		tests/run-pass/u128.rs