Auto merge of #81375 - RalfJung:miri, r=RalfJung · JohnTitor/rust@7fba12b

Commit

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

update Miri

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

bors committed Jan 25, 2021

2 parents 84864bf + 26e67ad commit 7fba12b

+7 −2		.github/workflows/ci.yml
+4 −0		README.md
+109 −45		cargo-miri/bin.rs
+1 −1		ci.sh
+1 −1		rust-version
+0 −3		src/lib.rs
+12 −0		src/shims/foreign_items.rs
+0 −33		src/shims/intrinsics.rs
+1 −0		src/shims/posix/foreign_items.rs
+6 −6		src/shims/posix/macos/foreign_items.rs
+0 −1		src/shims/windows/dlsym.rs
+35 −0		src/shims/windows/foreign_items.rs
+1 −1		test-cargo-miri/run-test.py
+4 −0		test-cargo-miri/subcrate/Cargo.toml
+2 −0		test-cargo-miri/subcrate/src/lib.rs
+1 −0		test-cargo-miri/test.stderr-proc-macro.ref
+0 −2		tests/compile-fail/check_arg_count_too_few_args.rs
+0 −2		tests/compile-fail/check_arg_count_too_many_args.rs
+6 −0		tests/run-pass/vec.rs