Skip to content

Commit

Permalink
Rollup merge of rust-lang#70897 - RalfJung:miri, r=RalfJung
Browse files Browse the repository at this point in the history 
bump Miri

r? @ghost Cc @rust-lang/miri

Fixes rust-lang#70894
  • Loading branch information
@Centril
Centril authored Apr 9, 2020
2 parents fba3453 + 203accc commit 32658b3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion 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

0 comments on commit 32658b3

Please sign in to comment.