Rollup merge of #70897 - RalfJung:miri, r=RalfJung · Centril/rust@eecfd19

Commit

Rollup merge of rust-lang#70897 - RalfJung:miri, r=RalfJung

bump Miri

r? @ghost Cc @rust-lang/miri

Fixes rust-lang#70894

Centril authored Apr 9, 2020

2 parents 93dc97a + 203accc commit eecfd19

src/tools/miri

Submodule miri updated 34 files

+12 −2		README.md
+1 −1		rust-version
+13 −28		src/bin/cargo-miri.rs
+5 −1		src/diagnostics.rs
+9 −6		src/eval.rs
+1 −0		src/lib.rs
+64 −15		src/machine.rs
+61 −15		src/shims/foreign_items/posix.rs
+1 −1		src/shims/foreign_items/posix/linux.rs
+1 −1		src/shims/foreign_items/posix/macos.rs
+14 −6		src/shims/foreign_items/windows.rs
+1 −1		src/shims/fs.rs
+1 −0		src/shims/mod.rs
+467 −0		src/shims/sync.rs
+32 −0		src/shims/time.rs
+16 −0		tests/compile-fail/libc_pthread_mutex_destroy_locked.rs
+16 −0		tests/compile-fail/libc_pthread_mutex_normal_deadlock.rs
+17 −0		tests/compile-fail/libc_pthread_mutex_normal_unlock_unlocked.rs
+13 −0		tests/compile-fail/libc_pthread_rwlock_destroy_read_locked.rs
+13 −0		tests/compile-fail/libc_pthread_rwlock_destroy_write_locked.rs
+13 −0		tests/compile-fail/libc_pthread_rwlock_read_write_deadlock.rs
+12 −0		tests/compile-fail/libc_pthread_rwlock_unlock_unlocked.rs
+13 −0		tests/compile-fail/libc_pthread_rwlock_write_read_deadlock.rs
+13 −0		tests/compile-fail/libc_pthread_rwlock_write_write_deadlock.rs
+1 −1		tests/compile-fail/stack_free.rs
+35 −35		tests/run-pass/float.rs
+8 −0		tests/run-pass/leak-in-static.rs
+112 −3		tests/run-pass/libc.rs
+0 −3		tests/run-pass/panic/catch_panic.rs
+17 −0		tests/run-pass/reentrant-println.rs
+2 −0		tests/run-pass/reentrant-println.stdout
+44 −10		tests/run-pass/sync.rs
+13 −16		tests/run-pass/time.rs
+47 −0		tests/run-pass/vec.rs

Please sign in to comment.