Auto merge of #78023 - RalfJung:miri, r=RalfJung · rust-lang-ci/rust@5a51185

Commit

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

update miri

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

bors committed Oct 16, 2020

2 parents a78a62f + c0a4bd0 commit 5a51185

+1 −1		rust-version
+2 −2		src/helpers.rs
+1 −1		src/machine.rs
+6 −6		src/shims/env.rs
+3 −3		src/shims/foreign_items.rs
+1 −1		src/shims/os_str.rs
+2 −2		src/shims/posix/foreign_items.rs
+2 −2		src/shims/posix/fs.rs
+1 −1		src/shims/posix/linux/dlsym.rs
+1 −1		src/shims/posix/macos/dlsym.rs
+1 −1		src/shims/tls.rs
+1 −1		src/shims/windows/dlsym.rs
+1 −1		src/shims/windows/foreign_items.rs