about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail-dep/concurrency
ModeNameSize
-rw-r--r--apple_os_unfair_lock_assert_not_owner.rs381log plain
-rw-r--r--apple_os_unfair_lock_assert_not_owner.stderr635log plain
-rw-r--r--apple_os_unfair_lock_assert_owner.rs330log plain
-rw-r--r--apple_os_unfair_lock_assert_owner.stderr619log plain
-rw-r--r--apple_os_unfair_lock_move_deadlock.rs327log plain
-rw-r--r--apple_os_unfair_lock_move_deadlock.stderr532log plain
-rw-r--r--apple_os_unfair_lock_reentrant.rs362log plain
-rw-r--r--apple_os_unfair_lock_reentrant.stderr590log plain
-rw-r--r--apple_os_unfair_lock_unowned.rs306log plain
-rw-r--r--apple_os_unfair_lock_unowned.stderr579log plain
-rw-r--r--libc_pthread_cond_double_destroy.rs846log plain
-rw-r--r--libc_pthread_cond_double_destroy.stderr963log plain
-rw-r--r--libc_pthread_cond_move.init.stderr911log plain
-rw-r--r--libc_pthread_cond_move.rs922log plain
-rw-r--r--libc_pthread_cond_move.static_initializer.stderr915log plain
-rw-r--r--libc_pthread_condattr_double_destroy.rs813log plain
-rw-r--r--libc_pthread_condattr_double_destroy.stderr979log plain
-rw-r--r--libc_pthread_create_main_terminate.rs557log plain
-rw-r--r--libc_pthread_create_main_terminate.stderr183log plain
-rw-r--r--libc_pthread_create_too_few_args.rs763log plain
-rw-r--r--libc_pthread_create_too_few_args.stderr481log plain
-rw-r--r--libc_pthread_create_too_many_args.rs819log plain
-rw-r--r--libc_pthread_create_too_many_args.stderr482log plain
-rw-r--r--libc_pthread_join_detached.rs637log plain
-rw-r--r--libc_pthread_join_detached.stderr799log plain
-rw-r--r--libc_pthread_join_joined.rs666log plain
-rw-r--r--libc_pthread_join_joined.stderr802log plain
-rw-r--r--libc_pthread_join_main.rs480log plain
-rw-r--r--libc_pthread_join_main.stderr829log plain
-rw-r--r--libc_pthread_join_multiple.rs1034log plain
-rw-r--r--libc_pthread_join_multiple.stderr836log plain
-rw-r--r--libc_pthread_join_self.rs542log plain
-rw-r--r--libc_pthread_join_self.stderr812log plain
-rw-r--r--libc_pthread_mutex_NULL_reentrant.rs502log plain
-rw-r--r--libc_pthread_mutex_NULL_reentrant.stderr829log plain
-rw-r--r--libc_pthread_mutex_deadlock.rs816log plain
-rw-r--r--libc_pthread_mutex_deadlock.stderr1484log plain
-rw-r--r--libc_pthread_mutex_default_reentrant.rs1035log plain
-rw-r--r--libc_pthread_mutex_default_reentrant.stderr835log plain
-rw-r--r--libc_pthread_mutex_destroy_locked.rs633log plain
-rw-r--r--libc_pthread_mutex_destroy_locked.stderr791log plain
-rw-r--r--libc_pthread_mutex_double_destroy.rs858log plain
-rw-r--r--libc_pthread_mutex_double_destroy.stderr969log plain
-rw-r--r--libc_pthread_mutex_move.init.stderr910log plain
-rw-r--r--libc_pthread_mutex_move.rs807log plain
-rw-r--r--libc_pthread_mutex_move.static_initializer.stderr914log plain
-rw-r--r--libc_pthread_mutex_normal_reentrant.rs787log plain
-rw-r--r--libc_pthread_mutex_normal_reentrant.stderr540log plain
-rw-r--r--libc_pthread_mutex_normal_unlock_unlocked.rs695log plain
-rw-r--r--libc_pthread_mutex_normal_unlock_unlocked.stderr860log plain
-rw-r--r--libc_pthread_mutex_staticinit_reentrant.rs490log plain
-rw-r--r--libc_pthread_mutex_staticinit_reentrant.stderr841log plain
-rw-r--r--libc_pthread_mutex_wrong_owner.rs767log plain
-rw-r--r--libc_pthread_mutex_wrong_owner.stderr885log plain
-rw-r--r--libc_pthread_mutexattr_double_destroy.rs725log plain
-rw-r--r--libc_pthread_mutexattr_double_destroy.stderr983log plain
-rw-r--r--libc_pthread_rwlock_destroy_read_locked.rs307log plain
-rw-r--r--libc_pthread_rwlock_destroy_read_locked.stderr782log plain
-rw-r--r--libc_pthread_rwlock_destroy_write_locked.rs307log plain
-rw-r--r--libc_pthread_rwlock_destroy_write_locked.stderr784log plain
-rw-r--r--libc_pthread_rwlock_double_destroy.rs588log plain
-rw-r--r--libc_pthread_rwlock_double_destroy.stderr955log plain
-rw-r--r--libc_pthread_rwlock_read_write_deadlock_single_thread.rs289log plain
-rw-r--r--libc_pthread_rwlock_read_write_deadlock_single_thread.stderr558log plain
-rw-r--r--libc_pthread_rwlock_read_wrong_owner.rs771log plain
-rw-r--r--libc_pthread_rwlock_read_wrong_owner.stderr892log plain
-rw-r--r--libc_pthread_rwlock_unlock_unlocked.rs233log plain
-rw-r--r--libc_pthread_rwlock_unlock_unlocked.stderr806log plain
-rw-r--r--libc_pthread_rwlock_write_read_deadlock.rs829log plain
-rw-r--r--libc_pthread_rwlock_write_read_deadlock.stderr1529log plain
-rw-r--r--libc_pthread_rwlock_write_read_deadlock_single_thread.rs289log plain
-rw-r--r--libc_pthread_rwlock_write_read_deadlock_single_thread.stderr558log plain
-rw-r--r--libc_pthread_rwlock_write_write_deadlock.rs829log plain
-rw-r--r--libc_pthread_rwlock_write_write_deadlock.stderr1532log plain
-rw-r--r--libc_pthread_rwlock_write_write_deadlock_single_thread.rs289log plain
-rw-r--r--libc_pthread_rwlock_write_write_deadlock_single_thread.stderr560log plain
-rw-r--r--libc_pthread_rwlock_write_wrong_owner.rs771log plain
-rw-r--r--libc_pthread_rwlock_write_wrong_owner.stderr894log plain
-rw-r--r--libx_pthread_rwlock_moved.rs347log plain
-rw-r--r--libx_pthread_rwlock_moved.stderr796log plain
-rw-r--r--windows_join_detached.rs471log plain
-rw-r--r--windows_join_detached.stderr1191log plain
-rw-r--r--windows_join_main.rs883log plain
-rw-r--r--windows_join_main.stderr1609log plain
-rw-r--r--windows_join_self.rs659log plain
-rw-r--r--windows_join_self.stderr1550log plain
-rw-r--r--windows_thread_invalid.rs286log plain
-rw-r--r--windows_thread_invalid.stderr566log plain