diff options
| -rw-r--r-- | src/tools/miri/tests/compiletest.rs | 6 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/concurrency/libc_pthread_create_main_terminate.rs (renamed from src/tools/miri/tests/fail/concurrency/libc_pthread_create_main_terminate.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/concurrency/libc_pthread_create_main_terminate.stderr (renamed from src/tools/miri/tests/fail/concurrency/libc_pthread_create_main_terminate.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/concurrency/libc_pthread_create_too_few_args.rs (renamed from src/tools/miri/tests/fail/concurrency/libc_pthread_create_too_few_args.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/concurrency/libc_pthread_create_too_few_args.stderr (renamed from src/tools/miri/tests/fail/concurrency/libc_pthread_create_too_few_args.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/concurrency/libc_pthread_create_too_many_args.rs (renamed from src/tools/miri/tests/fail/concurrency/libc_pthread_create_too_many_args.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/concurrency/libc_pthread_create_too_many_args.stderr (renamed from src/tools/miri/tests/fail/concurrency/libc_pthread_create_too_many_args.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_detached.rs (renamed from src/tools/miri/tests/fail/concurrency/libc_pthread_join_detached.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_detached.stderr (renamed from src/tools/miri/tests/fail/concurrency/libc_pthread_join_detached.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_joined.rs (renamed from src/tools/miri/tests/fail/concurrency/libc_pthread_join_joined.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_joined.stderr (renamed from src/tools/miri/tests/fail/concurrency/libc_pthread_join_joined.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_main.rs (renamed from src/tools/miri/tests/fail/concurrency/libc_pthread_join_main.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_main.stderr (renamed from src/tools/miri/tests/fail/concurrency/libc_pthread_join_main.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_multiple.rs (renamed from src/tools/miri/tests/fail/concurrency/libc_pthread_join_multiple.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_multiple.stderr (renamed from src/tools/miri/tests/fail/concurrency/libc_pthread_join_multiple.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_self.rs (renamed from src/tools/miri/tests/fail/concurrency/libc_pthread_join_self.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_self.stderr (renamed from src/tools/miri/tests/fail/concurrency/libc_pthread_join_self.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/concurrency/unwind_top_of_stack.rs (renamed from src/tools/miri/tests/fail/concurrency/unwind_top_of_stack.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/concurrency/unwind_top_of_stack.stderr (renamed from src/tools/miri/tests/fail/concurrency/unwind_top_of_stack.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/fs/close_stdout.rs (renamed from src/tools/miri/tests/fail/shims/fs/close_stdout.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/fs/close_stdout.stderr (renamed from src/tools/miri/tests/fail/shims/fs/close_stdout.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/fs/isolated_stdin.rs (renamed from src/tools/miri/tests/fail/shims/fs/isolated_stdin.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/fs/isolated_stdin.stderr (renamed from src/tools/miri/tests/fail/shims/fs/isolated_stdin.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/fs/mkstemp_immutable_arg.rs (renamed from src/tools/miri/tests/fail/shims/fs/mkstemp_immutable_arg.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/fs/mkstemp_immutable_arg.stderr (renamed from src/tools/miri/tests/fail/shims/fs/mkstemp_immutable_arg.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/fs/read_from_stdout.rs (renamed from src/tools/miri/tests/fail/shims/fs/read_from_stdout.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/fs/read_from_stdout.stderr (renamed from src/tools/miri/tests/fail/shims/fs/read_from_stdout.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/fs/unix_open_missing_required_mode.rs (renamed from src/tools/miri/tests/fail/shims/fs/unix_open_missing_required_mode.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/fs/unix_open_missing_required_mode.stderr (renamed from src/tools/miri/tests/fail/shims/fs/unix_open_missing_required_mode.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/fs/write_to_stdin.rs (renamed from src/tools/miri/tests/fail/shims/fs/write_to_stdin.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/fs/write_to_stdin.stderr (renamed from src/tools/miri/tests/fail/shims/fs/write_to_stdin.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/memchr_null.rs (renamed from src/tools/miri/tests/fail/shims/memchr_null.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/memchr_null.stderr (renamed from src/tools/miri/tests/fail/shims/memchr_null.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/memcmp_null.rs (renamed from src/tools/miri/tests/fail/shims/memcmp_null.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/memcmp_null.stderr (renamed from src/tools/miri/tests/fail/shims/memcmp_null.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/memcmp_zero.rs (renamed from src/tools/miri/tests/fail/shims/memcmp_zero.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/memcmp_zero.stderr (renamed from src/tools/miri/tests/fail/shims/memcmp_zero.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/memcpy_zero.rs (renamed from src/tools/miri/tests/fail/shims/memcpy_zero.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/memcpy_zero.stderr (renamed from src/tools/miri/tests/fail/shims/memcpy_zero.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/memrchr_null.rs (renamed from src/tools/miri/tests/fail/shims/memrchr_null.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/memrchr_null.stderr (renamed from src/tools/miri/tests/fail/shims/memrchr_null.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/mmap_invalid_dealloc.rs (renamed from src/tools/miri/tests/fail/shims/mmap_invalid_dealloc.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/mmap_invalid_dealloc.stderr (renamed from src/tools/miri/tests/fail/shims/mmap_invalid_dealloc.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/mmap_use_after_munmap.rs (renamed from src/tools/miri/tests/fail/shims/mmap_use_after_munmap.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/mmap_use_after_munmap.stderr (renamed from src/tools/miri/tests/fail/shims/mmap_use_after_munmap.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/munmap.rs (renamed from src/tools/miri/tests/fail/shims/munmap.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/munmap.stderr (renamed from src/tools/miri/tests/fail/shims/munmap.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/munmap_partial.rs (renamed from src/tools/miri/tests/fail/shims/munmap_partial.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/munmap_partial.stderr (renamed from src/tools/miri/tests/fail/shims/munmap_partial.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_cond_double_destroy.rs (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_cond_double_destroy.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_cond_double_destroy.stderr (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_cond_double_destroy.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_condattr_double_destroy.rs (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_condattr_double_destroy.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_condattr_double_destroy.stderr (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_condattr_double_destroy.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_NULL_deadlock.rs (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_NULL_deadlock.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_NULL_deadlock.stderr (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_NULL_deadlock.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_deadlock.rs (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_deadlock.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_deadlock.stderr (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_deadlock.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_default_deadlock.rs (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_default_deadlock.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_default_deadlock.stderr (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_default_deadlock.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_destroy_locked.rs (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_destroy_locked.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_destroy_locked.stderr (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_destroy_locked.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_double_destroy.rs (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_double_destroy.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_double_destroy.stderr (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_double_destroy.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_normal_deadlock.rs (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_normal_deadlock.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_normal_deadlock.stderr (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_normal_deadlock.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_normal_unlock_unlocked.rs (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_normal_unlock_unlocked.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_normal_unlock_unlocked.stderr (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_normal_unlock_unlocked.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_wrong_owner.rs (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_wrong_owner.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_wrong_owner.stderr (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_wrong_owner.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutexattr_double_destroy.rs (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_mutexattr_double_destroy.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutexattr_double_destroy.stderr (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_mutexattr_double_destroy.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_destroy_read_locked.rs (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_destroy_read_locked.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_destroy_read_locked.stderr (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_destroy_read_locked.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_destroy_write_locked.rs (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_destroy_write_locked.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_destroy_write_locked.stderr (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_destroy_write_locked.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_double_destroy.rs (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_double_destroy.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_double_destroy.stderr (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_double_destroy.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_read_write_deadlock_single_thread.rs (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_read_write_deadlock_single_thread.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_read_write_deadlock_single_thread.stderr (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_read_write_deadlock_single_thread.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_read_wrong_owner.rs (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_read_wrong_owner.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_read_wrong_owner.stderr (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_read_wrong_owner.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_unlock_unlocked.rs (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_unlock_unlocked.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_unlock_unlocked.stderr (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_unlock_unlocked.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_read_deadlock.rs (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_read_deadlock.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_read_deadlock.stderr (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_read_deadlock.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_read_deadlock_single_thread.rs (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_read_deadlock_single_thread.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_read_deadlock_single_thread.stderr (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_read_deadlock_single_thread.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_write_deadlock.rs (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_write_deadlock.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_write_deadlock.stderr (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_write_deadlock.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_write_deadlock_single_thread.rs (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_write_deadlock_single_thread.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_write_deadlock_single_thread.stderr (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_write_deadlock_single_thread.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_wrong_owner.rs (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_wrong_owner.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_wrong_owner.stderr (renamed from src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_wrong_owner.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/tokio/sleep.rs (renamed from src/tools/miri/tests/fail/tokio/sleep.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/tokio/sleep.stderr (renamed from src/tools/miri/tests/fail/tokio/sleep.stderr) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/unsupported_incomplete_function.rs (renamed from src/tools/miri/tests/fail/unsupported_incomplete_function.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail-dep/unsupported_incomplete_function.stderr (renamed from src/tools/miri/tests/fail/unsupported_incomplete_function.stderr) | 0 |
97 files changed, 6 insertions, 0 deletions
diff --git a/src/tools/miri/tests/compiletest.rs b/src/tools/miri/tests/compiletest.rs index f3ea43c0413..d84f943a6f9 100644 --- a/src/tools/miri/tests/compiletest.rs +++ b/src/tools/miri/tests/compiletest.rs @@ -243,6 +243,12 @@ fn main() -> Result<()> { Mode::Fail { require_patterns: true, rustfix: false }, "tests/fail", &target, + WithoutDependencies, + )?; + ui( + Mode::Fail { require_patterns: true, rustfix: false }, + "tests/fail-dep", + &target, WithDependencies, )?; if cfg!(target_os = "linux") { diff --git a/src/tools/miri/tests/fail/concurrency/libc_pthread_create_main_terminate.rs b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_create_main_terminate.rs index 7e6f490bb3d..7e6f490bb3d 100644 --- a/src/tools/miri/tests/fail/concurrency/libc_pthread_create_main_terminate.rs +++ b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_create_main_terminate.rs diff --git a/src/tools/miri/tests/fail/concurrency/libc_pthread_create_main_terminate.stderr b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_create_main_terminate.stderr index c5093c0e601..c5093c0e601 100644 --- a/src/tools/miri/tests/fail/concurrency/libc_pthread_create_main_terminate.stderr +++ b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_create_main_terminate.stderr diff --git a/src/tools/miri/tests/fail/concurrency/libc_pthread_create_too_few_args.rs b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_create_too_few_args.rs index e1d3704af7c..e1d3704af7c 100644 --- a/src/tools/miri/tests/fail/concurrency/libc_pthread_create_too_few_args.rs +++ b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_create_too_few_args.rs diff --git a/src/tools/miri/tests/fail/concurrency/libc_pthread_create_too_few_args.stderr b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_create_too_few_args.stderr index c2de4afd68f..c2de4afd68f 100644 --- a/src/tools/miri/tests/fail/concurrency/libc_pthread_create_too_few_args.stderr +++ b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_create_too_few_args.stderr diff --git a/src/tools/miri/tests/fail/concurrency/libc_pthread_create_too_many_args.rs b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_create_too_many_args.rs index 7408634db52..7408634db52 100644 --- a/src/tools/miri/tests/fail/concurrency/libc_pthread_create_too_many_args.rs +++ b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_create_too_many_args.rs diff --git a/src/tools/miri/tests/fail/concurrency/libc_pthread_create_too_many_args.stderr b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_create_too_many_args.stderr index 85ae930d439..85ae930d439 100644 --- a/src/tools/miri/tests/fail/concurrency/libc_pthread_create_too_many_args.stderr +++ b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_create_too_many_args.stderr diff --git a/src/tools/miri/tests/fail/concurrency/libc_pthread_join_detached.rs b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_detached.rs index 0b810dc8c72..0b810dc8c72 100644 --- a/src/tools/miri/tests/fail/concurrency/libc_pthread_join_detached.rs +++ b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_detached.rs diff --git a/src/tools/miri/tests/fail/concurrency/libc_pthread_join_detached.stderr b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_detached.stderr index 763e0d3665d..763e0d3665d 100644 --- a/src/tools/miri/tests/fail/concurrency/libc_pthread_join_detached.stderr +++ b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_detached.stderr diff --git a/src/tools/miri/tests/fail/concurrency/libc_pthread_join_joined.rs b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_joined.rs index 04ca4bbb3f6..04ca4bbb3f6 100644 --- a/src/tools/miri/tests/fail/concurrency/libc_pthread_join_joined.rs +++ b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_joined.rs diff --git a/src/tools/miri/tests/fail/concurrency/libc_pthread_join_joined.stderr b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_joined.stderr index a3253e2ef93..a3253e2ef93 100644 --- a/src/tools/miri/tests/fail/concurrency/libc_pthread_join_joined.stderr +++ b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_joined.stderr diff --git a/src/tools/miri/tests/fail/concurrency/libc_pthread_join_main.rs b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_main.rs index 75765182163..75765182163 100644 --- a/src/tools/miri/tests/fail/concurrency/libc_pthread_join_main.rs +++ b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_main.rs diff --git a/src/tools/miri/tests/fail/concurrency/libc_pthread_join_main.stderr b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_main.stderr index 09e14d46a96..09e14d46a96 100644 --- a/src/tools/miri/tests/fail/concurrency/libc_pthread_join_main.stderr +++ b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_main.stderr diff --git a/src/tools/miri/tests/fail/concurrency/libc_pthread_join_multiple.rs b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_multiple.rs index 966f416eeac..966f416eeac 100644 --- a/src/tools/miri/tests/fail/concurrency/libc_pthread_join_multiple.rs +++ b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_multiple.rs diff --git a/src/tools/miri/tests/fail/concurrency/libc_pthread_join_multiple.stderr b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_multiple.stderr index db5d7bfd5da..db5d7bfd5da 100644 --- a/src/tools/miri/tests/fail/concurrency/libc_pthread_join_multiple.stderr +++ b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_multiple.stderr diff --git a/src/tools/miri/tests/fail/concurrency/libc_pthread_join_self.rs b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_self.rs index 0c25c690f37..0c25c690f37 100644 --- a/src/tools/miri/tests/fail/concurrency/libc_pthread_join_self.rs +++ b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_self.rs diff --git a/src/tools/miri/tests/fail/concurrency/libc_pthread_join_self.stderr b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_self.stderr index 8db4a83f9ce..8db4a83f9ce 100644 --- a/src/tools/miri/tests/fail/concurrency/libc_pthread_join_self.stderr +++ b/src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_self.stderr diff --git a/src/tools/miri/tests/fail/concurrency/unwind_top_of_stack.rs b/src/tools/miri/tests/fail-dep/concurrency/unwind_top_of_stack.rs index 4704cfed039..4704cfed039 100644 --- a/src/tools/miri/tests/fail/concurrency/unwind_top_of_stack.rs +++ b/src/tools/miri/tests/fail-dep/concurrency/unwind_top_of_stack.rs diff --git a/src/tools/miri/tests/fail/concurrency/unwind_top_of_stack.stderr b/src/tools/miri/tests/fail-dep/concurrency/unwind_top_of_stack.stderr index fccd3fbbc9d..fccd3fbbc9d 100644 --- a/src/tools/miri/tests/fail/concurrency/unwind_top_of_stack.stderr +++ b/src/tools/miri/tests/fail-dep/concurrency/unwind_top_of_stack.stderr diff --git a/src/tools/miri/tests/fail/shims/fs/close_stdout.rs b/src/tools/miri/tests/fail-dep/shims/fs/close_stdout.rs index 09da8509af4..09da8509af4 100644 --- a/src/tools/miri/tests/fail/shims/fs/close_stdout.rs +++ b/src/tools/miri/tests/fail-dep/shims/fs/close_stdout.rs diff --git a/src/tools/miri/tests/fail/shims/fs/close_stdout.stderr b/src/tools/miri/tests/fail-dep/shims/fs/close_stdout.stderr index 02f1eee97fc..02f1eee97fc 100644 --- a/src/tools/miri/tests/fail/shims/fs/close_stdout.stderr +++ b/src/tools/miri/tests/fail-dep/shims/fs/close_stdout.stderr diff --git a/src/tools/miri/tests/fail/shims/fs/isolated_stdin.rs b/src/tools/miri/tests/fail-dep/shims/fs/isolated_stdin.rs index a45f805696d..a45f805696d 100644 --- a/src/tools/miri/tests/fail/shims/fs/isolated_stdin.rs +++ b/src/tools/miri/tests/fail-dep/shims/fs/isolated_stdin.rs diff --git a/src/tools/miri/tests/fail/shims/fs/isolated_stdin.stderr b/src/tools/miri/tests/fail-dep/shims/fs/isolated_stdin.stderr index ed826147e3b..ed826147e3b 100644 --- a/src/tools/miri/tests/fail/shims/fs/isolated_stdin.stderr +++ b/src/tools/miri/tests/fail-dep/shims/fs/isolated_stdin.stderr diff --git a/src/tools/miri/tests/fail/shims/fs/mkstemp_immutable_arg.rs b/src/tools/miri/tests/fail-dep/shims/fs/mkstemp_immutable_arg.rs index ba9f404d7c9..ba9f404d7c9 100644 --- a/src/tools/miri/tests/fail/shims/fs/mkstemp_immutable_arg.rs +++ b/src/tools/miri/tests/fail-dep/shims/fs/mkstemp_immutable_arg.rs diff --git a/src/tools/miri/tests/fail/shims/fs/mkstemp_immutable_arg.stderr b/src/tools/miri/tests/fail-dep/shims/fs/mkstemp_immutable_arg.stderr index 35ff1926b06..35ff1926b06 100644 --- a/src/tools/miri/tests/fail/shims/fs/mkstemp_immutable_arg.stderr +++ b/src/tools/miri/tests/fail-dep/shims/fs/mkstemp_immutable_arg.stderr diff --git a/src/tools/miri/tests/fail/shims/fs/read_from_stdout.rs b/src/tools/miri/tests/fail-dep/shims/fs/read_from_stdout.rs index 073fca4712e..073fca4712e 100644 --- a/src/tools/miri/tests/fail/shims/fs/read_from_stdout.rs +++ b/src/tools/miri/tests/fail-dep/shims/fs/read_from_stdout.rs diff --git a/src/tools/miri/tests/fail/shims/fs/read_from_stdout.stderr b/src/tools/miri/tests/fail-dep/shims/fs/read_from_stdout.stderr index bcece7ad4e5..bcece7ad4e5 100644 --- a/src/tools/miri/tests/fail/shims/fs/read_from_stdout.stderr +++ b/src/tools/miri/tests/fail-dep/shims/fs/read_from_stdout.stderr diff --git a/src/tools/miri/tests/fail/shims/fs/unix_open_missing_required_mode.rs b/src/tools/miri/tests/fail-dep/shims/fs/unix_open_missing_required_mode.rs index ae231d4be66..ae231d4be66 100644 --- a/src/tools/miri/tests/fail/shims/fs/unix_open_missing_required_mode.rs +++ b/src/tools/miri/tests/fail-dep/shims/fs/unix_open_missing_required_mode.rs diff --git a/src/tools/miri/tests/fail/shims/fs/unix_open_missing_required_mode.stderr b/src/tools/miri/tests/fail-dep/shims/fs/unix_open_missing_required_mode.stderr index 5a8e7352c76..5a8e7352c76 100644 --- a/src/tools/miri/tests/fail/shims/fs/unix_open_missing_required_mode.stderr +++ b/src/tools/miri/tests/fail-dep/shims/fs/unix_open_missing_required_mode.stderr diff --git a/src/tools/miri/tests/fail/shims/fs/write_to_stdin.rs b/src/tools/miri/tests/fail-dep/shims/fs/write_to_stdin.rs index d039ad718d3..d039ad718d3 100644 --- a/src/tools/miri/tests/fail/shims/fs/write_to_stdin.rs +++ b/src/tools/miri/tests/fail-dep/shims/fs/write_to_stdin.rs diff --git a/src/tools/miri/tests/fail/shims/fs/write_to_stdin.stderr b/src/tools/miri/tests/fail-dep/shims/fs/write_to_stdin.stderr index d4a38e1ca96..d4a38e1ca96 100644 --- a/src/tools/miri/tests/fail/shims/fs/write_to_stdin.stderr +++ b/src/tools/miri/tests/fail-dep/shims/fs/write_to_stdin.stderr diff --git a/src/tools/miri/tests/fail/shims/memchr_null.rs b/src/tools/miri/tests/fail-dep/shims/memchr_null.rs index 6bc7af7e6bf..6bc7af7e6bf 100644 --- a/src/tools/miri/tests/fail/shims/memchr_null.rs +++ b/src/tools/miri/tests/fail-dep/shims/memchr_null.rs diff --git a/src/tools/miri/tests/fail/shims/memchr_null.stderr b/src/tools/miri/tests/fail-dep/shims/memchr_null.stderr index 54b58f22c6c..54b58f22c6c 100644 --- a/src/tools/miri/tests/fail/shims/memchr_null.stderr +++ b/src/tools/miri/tests/fail-dep/shims/memchr_null.stderr diff --git a/src/tools/miri/tests/fail/shims/memcmp_null.rs b/src/tools/miri/tests/fail-dep/shims/memcmp_null.rs index a4e0034c40b..a4e0034c40b 100644 --- a/src/tools/miri/tests/fail/shims/memcmp_null.rs +++ b/src/tools/miri/tests/fail-dep/shims/memcmp_null.rs diff --git a/src/tools/miri/tests/fail/shims/memcmp_null.stderr b/src/tools/miri/tests/fail-dep/shims/memcmp_null.stderr index 8b2882fc243..8b2882fc243 100644 --- a/src/tools/miri/tests/fail/shims/memcmp_null.stderr +++ b/src/tools/miri/tests/fail-dep/shims/memcmp_null.stderr diff --git a/src/tools/miri/tests/fail/shims/memcmp_zero.rs b/src/tools/miri/tests/fail-dep/shims/memcmp_zero.rs index f2ddc200563..f2ddc200563 100644 --- a/src/tools/miri/tests/fail/shims/memcmp_zero.rs +++ b/src/tools/miri/tests/fail-dep/shims/memcmp_zero.rs diff --git a/src/tools/miri/tests/fail/shims/memcmp_zero.stderr b/src/tools/miri/tests/fail-dep/shims/memcmp_zero.stderr index e21b9b06008..e21b9b06008 100644 --- a/src/tools/miri/tests/fail/shims/memcmp_zero.stderr +++ b/src/tools/miri/tests/fail-dep/shims/memcmp_zero.stderr diff --git a/src/tools/miri/tests/fail/shims/memcpy_zero.rs b/src/tools/miri/tests/fail-dep/shims/memcpy_zero.rs index 5283fea4cb9..5283fea4cb9 100644 --- a/src/tools/miri/tests/fail/shims/memcpy_zero.rs +++ b/src/tools/miri/tests/fail-dep/shims/memcpy_zero.rs diff --git a/src/tools/miri/tests/fail/shims/memcpy_zero.stderr b/src/tools/miri/tests/fail-dep/shims/memcpy_zero.stderr index 7c1c3fe20c4..7c1c3fe20c4 100644 --- a/src/tools/miri/tests/fail/shims/memcpy_zero.stderr +++ b/src/tools/miri/tests/fail-dep/shims/memcpy_zero.stderr diff --git a/src/tools/miri/tests/fail/shims/memrchr_null.rs b/src/tools/miri/tests/fail-dep/shims/memrchr_null.rs index b6707d558d8..b6707d558d8 100644 --- a/src/tools/miri/tests/fail/shims/memrchr_null.rs +++ b/src/tools/miri/tests/fail-dep/shims/memrchr_null.rs diff --git a/src/tools/miri/tests/fail/shims/memrchr_null.stderr b/src/tools/miri/tests/fail-dep/shims/memrchr_null.stderr index cc11ba89f8f..cc11ba89f8f 100644 --- a/src/tools/miri/tests/fail/shims/memrchr_null.stderr +++ b/src/tools/miri/tests/fail-dep/shims/memrchr_null.stderr diff --git a/src/tools/miri/tests/fail/shims/mmap_invalid_dealloc.rs b/src/tools/miri/tests/fail-dep/shims/mmap_invalid_dealloc.rs index 70f7a6a7cef..70f7a6a7cef 100644 --- a/src/tools/miri/tests/fail/shims/mmap_invalid_dealloc.rs +++ b/src/tools/miri/tests/fail-dep/shims/mmap_invalid_dealloc.rs diff --git a/src/tools/miri/tests/fail/shims/mmap_invalid_dealloc.stderr b/src/tools/miri/tests/fail-dep/shims/mmap_invalid_dealloc.stderr index 54e0cd5275d..54e0cd5275d 100644 --- a/src/tools/miri/tests/fail/shims/mmap_invalid_dealloc.stderr +++ b/src/tools/miri/tests/fail-dep/shims/mmap_invalid_dealloc.stderr diff --git a/src/tools/miri/tests/fail/shims/mmap_use_after_munmap.rs b/src/tools/miri/tests/fail-dep/shims/mmap_use_after_munmap.rs index c97b013ba5a..c97b013ba5a 100644 --- a/src/tools/miri/tests/fail/shims/mmap_use_after_munmap.rs +++ b/src/tools/miri/tests/fail-dep/shims/mmap_use_after_munmap.rs diff --git a/src/tools/miri/tests/fail/shims/mmap_use_after_munmap.stderr b/src/tools/miri/tests/fail-dep/shims/mmap_use_after_munmap.stderr index 44e122330bc..44e122330bc 100644 --- a/src/tools/miri/tests/fail/shims/mmap_use_after_munmap.stderr +++ b/src/tools/miri/tests/fail-dep/shims/mmap_use_after_munmap.stderr diff --git a/src/tools/miri/tests/fail/shims/munmap.rs b/src/tools/miri/tests/fail-dep/shims/munmap.rs index 453437a06cf..453437a06cf 100644 --- a/src/tools/miri/tests/fail/shims/munmap.rs +++ b/src/tools/miri/tests/fail-dep/shims/munmap.rs diff --git a/src/tools/miri/tests/fail/shims/munmap.stderr b/src/tools/miri/tests/fail-dep/shims/munmap.stderr index cb47769c063..cb47769c063 100644 --- a/src/tools/miri/tests/fail/shims/munmap.stderr +++ b/src/tools/miri/tests/fail-dep/shims/munmap.stderr diff --git a/src/tools/miri/tests/fail/shims/munmap_partial.rs b/src/tools/miri/tests/fail-dep/shims/munmap_partial.rs index 938850ee286..938850ee286 100644 --- a/src/tools/miri/tests/fail/shims/munmap_partial.rs +++ b/src/tools/miri/tests/fail-dep/shims/munmap_partial.rs diff --git a/src/tools/miri/tests/fail/shims/munmap_partial.stderr b/src/tools/miri/tests/fail-dep/shims/munmap_partial.stderr index 9a084c50437..9a084c50437 100644 --- a/src/tools/miri/tests/fail/shims/munmap_partial.stderr +++ b/src/tools/miri/tests/fail-dep/shims/munmap_partial.stderr diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_cond_double_destroy.rs b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_cond_double_destroy.rs index 94ca3496ed9..94ca3496ed9 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_cond_double_destroy.rs +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_cond_double_destroy.rs diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_cond_double_destroy.stderr b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_cond_double_destroy.stderr index ecfedf75370..ecfedf75370 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_cond_double_destroy.stderr +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_cond_double_destroy.stderr diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_condattr_double_destroy.rs b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_condattr_double_destroy.rs index 13e639a867d..13e639a867d 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_condattr_double_destroy.rs +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_condattr_double_destroy.rs diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_condattr_double_destroy.stderr b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_condattr_double_destroy.stderr index f39d909adbd..f39d909adbd 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_condattr_double_destroy.stderr +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_condattr_double_destroy.stderr diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_NULL_deadlock.rs b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_NULL_deadlock.rs index 8b251073383..8b251073383 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_NULL_deadlock.rs +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_NULL_deadlock.rs diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_NULL_deadlock.stderr b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_NULL_deadlock.stderr index 4a138e6f8a2..4a138e6f8a2 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_NULL_deadlock.stderr +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_NULL_deadlock.stderr diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_deadlock.rs b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_deadlock.rs index 6c3cb738e29..6c3cb738e29 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_deadlock.rs +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_deadlock.rs diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_deadlock.stderr b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_deadlock.stderr index 599655a8692..599655a8692 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_deadlock.stderr +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_deadlock.stderr diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_default_deadlock.rs b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_default_deadlock.rs index f443768819f..f443768819f 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_default_deadlock.rs +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_default_deadlock.rs diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_default_deadlock.stderr b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_default_deadlock.stderr index 8aea3f5c693..8aea3f5c693 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_default_deadlock.stderr +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_default_deadlock.stderr diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_destroy_locked.rs b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_destroy_locked.rs index ec3965c7574..ec3965c7574 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_destroy_locked.rs +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_destroy_locked.rs diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_destroy_locked.stderr b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_destroy_locked.stderr index a8ab948116e..a8ab948116e 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_destroy_locked.stderr +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_destroy_locked.stderr diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_double_destroy.rs b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_double_destroy.rs index 622c3eaeae3..622c3eaeae3 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_double_destroy.rs +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_double_destroy.rs diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_double_destroy.stderr b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_double_destroy.stderr index 9620fdbd18b..9620fdbd18b 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_double_destroy.stderr +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_double_destroy.stderr diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_normal_deadlock.rs b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_normal_deadlock.rs index 5ea09fa5aac..5ea09fa5aac 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_normal_deadlock.rs +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_normal_deadlock.rs diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_normal_deadlock.stderr b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_normal_deadlock.stderr index b7877d3aa39..b7877d3aa39 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_normal_deadlock.stderr +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_normal_deadlock.stderr diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_normal_unlock_unlocked.rs b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_normal_unlock_unlocked.rs index 8ce7542edb8..8ce7542edb8 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_normal_unlock_unlocked.rs +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_normal_unlock_unlocked.rs diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_normal_unlock_unlocked.stderr b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_normal_unlock_unlocked.stderr index 754137b85b9..754137b85b9 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_normal_unlock_unlocked.stderr +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_normal_unlock_unlocked.stderr diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_wrong_owner.rs b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_wrong_owner.rs index b56775252e4..b56775252e4 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_wrong_owner.rs +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_wrong_owner.rs diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_wrong_owner.stderr b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_wrong_owner.stderr index aa81b06fc80..aa81b06fc80 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_wrong_owner.stderr +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_wrong_owner.stderr diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutexattr_double_destroy.rs b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutexattr_double_destroy.rs index 474a277516d..474a277516d 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutexattr_double_destroy.rs +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutexattr_double_destroy.rs diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutexattr_double_destroy.stderr b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutexattr_double_destroy.stderr index 82949047d2a..82949047d2a 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_mutexattr_double_destroy.stderr +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutexattr_double_destroy.stderr diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_destroy_read_locked.rs b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_destroy_read_locked.rs index 603580ff58a..603580ff58a 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_destroy_read_locked.rs +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_destroy_read_locked.rs diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_destroy_read_locked.stderr b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_destroy_read_locked.stderr index be73e7f1e2a..be73e7f1e2a 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_destroy_read_locked.stderr +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_destroy_read_locked.stderr diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_destroy_write_locked.rs b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_destroy_write_locked.rs index ae44f22d146..ae44f22d146 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_destroy_write_locked.rs +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_destroy_write_locked.rs diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_destroy_write_locked.stderr b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_destroy_write_locked.stderr index bc2713a5ffb..bc2713a5ffb 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_destroy_write_locked.stderr +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_destroy_write_locked.stderr diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_double_destroy.rs b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_double_destroy.rs index 800986f7506..800986f7506 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_double_destroy.rs +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_double_destroy.rs diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_double_destroy.stderr b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_double_destroy.stderr index 5004f84358d..5004f84358d 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_double_destroy.stderr +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_double_destroy.stderr diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_read_write_deadlock_single_thread.rs b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_read_write_deadlock_single_thread.rs index 782c95b6d2e..782c95b6d2e 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_read_write_deadlock_single_thread.rs +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_read_write_deadlock_single_thread.rs diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_read_write_deadlock_single_thread.stderr b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_read_write_deadlock_single_thread.stderr index 075c8f0ef52..075c8f0ef52 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_read_write_deadlock_single_thread.stderr +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_read_write_deadlock_single_thread.stderr diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_read_wrong_owner.rs b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_read_wrong_owner.rs index 1b498ad8fcd..1b498ad8fcd 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_read_wrong_owner.rs +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_read_wrong_owner.rs diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_read_wrong_owner.stderr b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_read_wrong_owner.stderr index 7dfa27b43d0..7dfa27b43d0 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_read_wrong_owner.stderr +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_read_wrong_owner.stderr diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_unlock_unlocked.rs b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_unlock_unlocked.rs index 05f7e7a06c5..05f7e7a06c5 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_unlock_unlocked.rs +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_unlock_unlocked.rs diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_unlock_unlocked.stderr b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_unlock_unlocked.stderr index 1c25ac2c048..1c25ac2c048 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_unlock_unlocked.stderr +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_unlock_unlocked.stderr diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_read_deadlock.rs b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_read_deadlock.rs index 201844615e1..201844615e1 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_read_deadlock.rs +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_read_deadlock.rs diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_read_deadlock.stderr b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_read_deadlock.stderr index 333fb1afb91..333fb1afb91 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_read_deadlock.stderr +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_read_deadlock.stderr diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_read_deadlock_single_thread.rs b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_read_deadlock_single_thread.rs index 538f14ef89f..538f14ef89f 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_read_deadlock_single_thread.rs +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_read_deadlock_single_thread.rs diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_read_deadlock_single_thread.stderr b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_read_deadlock_single_thread.stderr index caab19a782f..caab19a782f 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_read_deadlock_single_thread.stderr +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_read_deadlock_single_thread.stderr diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_write_deadlock.rs b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_write_deadlock.rs index b1d7e0492e5..b1d7e0492e5 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_write_deadlock.rs +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_write_deadlock.rs diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_write_deadlock.stderr b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_write_deadlock.stderr index 93bede54fcf..93bede54fcf 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_write_deadlock.stderr +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_write_deadlock.stderr diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_write_deadlock_single_thread.rs b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_write_deadlock_single_thread.rs index 2c963d36510..2c963d36510 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_write_deadlock_single_thread.rs +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_write_deadlock_single_thread.rs diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_write_deadlock_single_thread.stderr b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_write_deadlock_single_thread.stderr index 30f5f447c71..30f5f447c71 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_write_deadlock_single_thread.stderr +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_write_deadlock_single_thread.stderr diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_wrong_owner.rs b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_wrong_owner.rs index dd099474d8f..dd099474d8f 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_wrong_owner.rs +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_wrong_owner.rs diff --git a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_wrong_owner.stderr b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_wrong_owner.stderr index 5bf402c775a..5bf402c775a 100644 --- a/src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_wrong_owner.stderr +++ b/src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_wrong_owner.stderr diff --git a/src/tools/miri/tests/fail/tokio/sleep.rs b/src/tools/miri/tests/fail-dep/tokio/sleep.rs index d96d778e6ca..d96d778e6ca 100644 --- a/src/tools/miri/tests/fail/tokio/sleep.rs +++ b/src/tools/miri/tests/fail-dep/tokio/sleep.rs diff --git a/src/tools/miri/tests/fail/tokio/sleep.stderr b/src/tools/miri/tests/fail-dep/tokio/sleep.stderr index ac2a984ed51..ac2a984ed51 100644 --- a/src/tools/miri/tests/fail/tokio/sleep.stderr +++ b/src/tools/miri/tests/fail-dep/tokio/sleep.stderr diff --git a/src/tools/miri/tests/fail/unsupported_incomplete_function.rs b/src/tools/miri/tests/fail-dep/unsupported_incomplete_function.rs index 6ef842c9ccb..6ef842c9ccb 100644 --- a/src/tools/miri/tests/fail/unsupported_incomplete_function.rs +++ b/src/tools/miri/tests/fail-dep/unsupported_incomplete_function.rs diff --git a/src/tools/miri/tests/fail/unsupported_incomplete_function.stderr b/src/tools/miri/tests/fail-dep/unsupported_incomplete_function.stderr index ec2bba61172..ec2bba61172 100644 --- a/src/tools/miri/tests/fail/unsupported_incomplete_function.stderr +++ b/src/tools/miri/tests/fail-dep/unsupported_incomplete_function.stderr |
