update Miri · rust-lang/rust@d3167a2

Commit

update Miri

Browse files

RalfJung committed Dec 8, 2021

1 parent 4459e72 commit d3167a2

+1 −1		rust-version
+42 −1		src/shims/posix/sync.rs
+22 −0		tests/compile-fail/sync/libc_pthread_cond_double_destroy.rs
+19 −0		tests/compile-fail/sync/libc_pthread_condattr_double_destroy.rs
+23 −0		tests/compile-fail/sync/libc_pthread_mutex_double_destroy.rs
+19 −0		tests/compile-fail/sync/libc_pthread_mutexattr_double_destroy.rs
+16 −0		tests/compile-fail/sync/libc_pthread_rwlock_double_destroy.rs
+18 −17		tests/run-pass/concurrency/libc_pthread_cond.rs
+6 −1		tests/run-pass/concurrency/sync.rs
+4 −4		tests/run-pass/portable-simd.rs