1 file changed
+1
-1
lines changed- README.md+9-5
- rust-version+1-1
- src/bin/cargo-miri.rs+2-1
- src/diagnostics.rs+3-3
- src/eval.rs+15-5
- src/intptrcast.rs+5-3
- src/lib.rs+6
- src/machine.rs+15-9
- src/shims/foreign_items/posix.rs+36-8
- src/shims/foreign_items/posix/linux.rs+7
- src/shims/foreign_items/posix/macos.rs+2-1
- src/shims/foreign_items/windows.rs+4-2
- src/shims/mod.rs+1
- src/shims/sync.rs+283-161
- src/shims/thread.rs+128
- src/shims/tls.rs+221-77
- src/thread.rs+611
- tests/compile-fail/concurrency/libc_pthread_create_main_terminate.rs+23
- tests/compile-fail/concurrency/libc_pthread_join_detached.rs+24
- tests/compile-fail/concurrency/libc_pthread_join_joined.rs+24
- tests/compile-fail/concurrency/libc_pthread_join_main.rs+20
- tests/compile-fail/concurrency/libc_pthread_join_multiple.rs+33
- tests/compile-fail/concurrency/libc_pthread_join_self.rs+20
- tests/compile-fail/concurrency/thread-spawn.rs+3
- tests/compile-fail/dangling_pointers/deref-invalid-ptr.rs+1-1
- tests/compile-fail/dangling_pointers/wild_pointer_deref.rs+1-1
- tests/compile-fail/function_pointers/cast_int_to_fn_ptr.rs+1-1
- tests/compile-fail/intrinsics/copy_null.rs+1-1
- tests/compile-fail/intrinsics/ptr_offset_0_plus_0.rs+1-1
- tests/compile-fail/intrinsics/ptr_offset_int_plus_int.rs+1-1
- tests/compile-fail/intrinsics/ptr_offset_int_plus_ptr.rs+1-1
- tests/compile-fail/intrinsics/write_bytes_null.rs+1-1
- tests/compile-fail/invalid_bool.rs+1-1
- tests/compile-fail/invalid_char.rs+4-3
- tests/compile-fail/invalid_enum_discriminant.rs+1-1
- tests/compile-fail/null_pointer_deref.rs+1-1
- tests/compile-fail/null_pointer_deref_zst.rs+1-1
- tests/compile-fail/null_pointer_write.rs+1-1
- tests/compile-fail/null_pointer_write_zst.rs+1-1
- tests/compile-fail/stacked_borrows/issue-miri-1050-2.rs+1-1
- tests/compile-fail/sync/libc_pthread_mutex_deadlock.rs+32
- tests/compile-fail/sync/libc_pthread_mutex_wrong_owner.rs+32
- tests/compile-fail/sync/libc_pthread_rwlock_write_read_deadlock.rs+22-3
- tests/compile-fail/sync/libc_pthread_rwlock_write_read_deadlock_single_thread.rs+13
- tests/compile-fail/sync/libc_pthread_rwlock_write_write_deadlock.rs+22-3
- tests/compile-fail/sync/libc_pthread_rwlock_write_write_deadlock_single_thread.rs+13
- tests/compile-fail/validity/execute_memory.rs+1-1
- tests/compile-fail/validity/fn_ptr_offset.rs+1-1
- tests/compile-fail/validity/invalid_bool.rs+1-1
- tests/compile-fail/validity/invalid_char.rs+1-1
- tests/compile-fail/validity/invalid_enum_discriminant.rs+1-1
- tests/compile-fail/validity/transmute_through_ptr.rs+1-1
- tests/run-pass/concurrency/locks.rs+75
- tests/run-pass/concurrency/locks.stderr+2
- tests/run-pass/concurrency/simple.rs+61
- tests/run-pass/concurrency/simple.stderr+2
- tests/run-pass/concurrency/thread_locals.rs+59
- tests/run-pass/concurrency/thread_locals.stderr+2
- tests/run-pass/concurrency/tls_lib_drop.rs+70
- tests/run-pass/concurrency/tls_lib_drop.stderr+2
- tests/run-pass/concurrency/tls_lib_drop.stdout+4
- tests/run-pass/concurrency/tls_lib_drop_single_thread.rs+25
- tests/run-pass/concurrency/tls_lib_drop_single_thread.stderr+2
- tests/run-pass/libc.rs+27
0 commit comments