Auto merge of #81534 - RalfJung:miri, r=RalfJung · RReverser/rust@9fa9b58

Commit

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

update Miri

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

bors committed Jan 29, 2021

2 parents b122908 + 9b09991 commit 9fa9b58

+1 −1		rust-version
+8 −0		src/bin/miri.rs
+17 −5		src/data_race.rs
+4 −0		src/eval.rs
+10 −0		src/helpers.rs
+0 −1		src/lib.rs
+8 −4		src/machine.rs
+4 −2		src/shims/dlsym.rs
+34 −5		src/shims/foreign_items.rs
+14 −12		src/shims/intrinsics.rs
+3 −1		src/shims/mod.rs
+4 −0		src/shims/posix/dlsym.rs
+5 −1		src/shims/posix/foreign_items.rs
+5 −1		src/shims/windows/dlsym.rs
+5 −1		src/shims/windows/foreign_items.rs
+9 −0		tests/compile-fail/check_arg_abi.rs
+2 −0		tests/compile-fail/erroneous_const.rs
+33 −8		tests/run-pass/atomic.rs
+1 −1		tests/run-pass/concurrency/sync.rs
+1 −0		tests/run-pass/float.rs
+1 −9		tests/run-pass/integer-ops.rs