Skip to content

Commit

Permalink
Bless Miri tests
Browse files Browse the repository at this point in the history
Co-authored-by: Adrian <adrian.iosdev@gmail.com>
  • Loading branch information
Noratrieb and adrianEffe committed Nov 21, 2023
1 parent 6262e84 commit 986d1a1
Show file tree
Hide file tree
Showing 469 changed files with 469 additions and 469 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -10,5 +10,5 @@ LL | foo();

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -2,5 +2,5 @@ error: the main thread terminated without waiting for all remaining threads

note: pass `-Zmiri-ignore-leaks` to disable this check

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -10,5 +10,5 @@ LL | panic!()
= note: inside `thread_start` at RUSTLIB/core/src/panic.rs:LL:CC
= note: this error originates in the macro `$crate::panic::panic_2021` which comes from the expansion of the macro `panic` (in Nightly builds, run with -Z macro-backtrace for more info)

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -10,5 +10,5 @@ LL | panic!()
= note: inside `thread_start` at RUSTLIB/core/src/panic.rs:LL:CC
= note: this error originates in the macro `$crate::panic::panic_2021` which comes from the expansion of the macro `panic` (in Nightly builds, run with -Z macro-backtrace for more info)

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | assert_eq!(libc::pthread_join(native, ptr::null_mut()), 0);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | assert_eq!(libc::pthread_join(native, ptr::null_mut()), 0);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | assert_eq!(libc::pthread_join(thread_id, ptr::null_mut()), 0);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | ... assert_eq!(libc::pthread_join(native_copy, ptr::null_mut()), 0);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | assert_eq!(libc::pthread_join(native, ptr::null_mut()), 0);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -17,5 +17,5 @@ LL | | }
= note: BACKTRACE:
= note: inside `thread_start` at $DIR/unwind_top_of_stack.rs:LL:CC

error: aborting due to previous error
error: aborting due to 1 previous error

2 changes: 1 addition & 1 deletion src/tools/miri/tests/fail-dep/shims/fs/close_stdout.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -10,5 +10,5 @@ LL | libc::close(1);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | libc::read(0, bytes.as_mut_ptr() as *mut libc::c_void, 512);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -16,5 +16,5 @@ LL | test_mkstemp_immutable_arg();

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -10,5 +10,5 @@ LL | libc::read(1, bytes.as_mut_ptr() as *mut libc::c_void, 512);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -16,5 +16,5 @@ LL | test_file_open_missing_needed_mode();

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -10,5 +10,5 @@ LL | libc::write(0, bytes.as_ptr() as *const libc::c_void, 5);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

2 changes: 1 addition & 1 deletion src/tools/miri/tests/fail-dep/shims/memchr_null.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | libc::memchr(ptr::null(), 0, 0);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

2 changes: 1 addition & 1 deletion src/tools/miri/tests/fail-dep/shims/memcmp_null.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | libc::memcmp(ptr::null(), ptr::null(), 0);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

2 changes: 1 addition & 1 deletion src/tools/miri/tests/fail-dep/shims/memcmp_zero.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | libc::memcmp(ptr.cast(), ptr.cast(), 0);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

2 changes: 1 addition & 1 deletion src/tools/miri/tests/fail-dep/shims/memcpy_zero.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | libc::memcpy(to.cast(), from.cast(), 0);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

2 changes: 1 addition & 1 deletion src/tools/miri/tests/fail-dep/shims/memrchr_null.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | libc::memrchr(ptr::null(), 0, 0);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | libc::free(ptr);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -43,5 +43,5 @@ LL | libc::munmap(ptr, 4096);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error; 1 warning emitted
error: aborting due to 1 previous error; 1 warning emitted

2 changes: 1 addition & 1 deletion src/tools/miri/tests/fail-dep/shims/munmap.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -35,5 +35,5 @@ LL | | )

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error; 1 warning emitted
error: aborting due to 1 previous error; 1 warning emitted

2 changes: 1 addition & 1 deletion src/tools/miri/tests/fail-dep/shims/munmap_partial.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -25,5 +25,5 @@ LL | libc::munmap(ptr, 1);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error; 1 warning emitted
error: aborting due to 1 previous error; 1 warning emitted

Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | libc::pthread_cond_destroy(cond.as_mut_ptr());

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | libc::pthread_condattr_destroy(attr.as_mut_ptr());

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | libc::pthread_mutex_lock(&mut mutex as *mut _);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -8,5 +8,5 @@ LL | assert_eq!(libc::pthread_mutex_lock(lock_copy.0.get() as *mut _

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | libc::pthread_mutex_lock(&mut mutex as *mut _);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | libc::pthread_mutex_destroy(&mut mutex as *mut _);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | libc::pthread_mutex_destroy(mutex.as_mut_ptr());

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -8,5 +8,5 @@ LL | libc::pthread_mutex_lock(&mut mutex as *mut _);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | libc::pthread_mutex_unlock(&mut mutex as *mut _);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | ...t_eq!(libc::pthread_mutex_unlock(lock_copy.0.get() as *mut _), 0);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | libc::pthread_mutexattr_destroy(attr.as_mut_ptr());

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | libc::pthread_rwlock_destroy(rw.get());

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | libc::pthread_rwlock_destroy(rw.get());

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | libc::pthread_rwlock_destroy(&mut lock);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -8,5 +8,5 @@ LL | libc::pthread_rwlock_wrlock(rw.get());

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | ... assert_eq!(libc::pthread_rwlock_unlock(lock_copy.0.get() as *mut _),

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | libc::pthread_rwlock_unlock(rw.get());

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -8,5 +8,5 @@ LL | assert_eq!(libc::pthread_rwlock_wrlock(lock_copy.0.get() as *mu

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -8,5 +8,5 @@ LL | libc::pthread_rwlock_rdlock(rw.get());

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -8,5 +8,5 @@ LL | assert_eq!(libc::pthread_rwlock_wrlock(lock_copy.0.get() as *mu

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -8,5 +8,5 @@ LL | libc::pthread_rwlock_wrlock(rw.get());

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ LL | ... assert_eq!(libc::pthread_rwlock_unlock(lock_copy.0.get() as *mut _),

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -10,5 +10,5 @@ LL | libc::signal(libc::SIGPIPE, libc::SIG_IGN);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -16,5 +16,5 @@ LL | dealloc(x, Layout::from_size_align_unchecked(1, 2));

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

2 changes: 1 addition & 1 deletion src/tools/miri/tests/fail/alloc/deallocate-bad-size.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -16,5 +16,5 @@ LL | dealloc(x, Layout::from_size_align_unchecked(2, 1));

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

2 changes: 1 addition & 1 deletion src/tools/miri/tests/fail/alloc/deallocate-twice.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -26,5 +26,5 @@ LL | dealloc(x, Layout::from_size_align_unchecked(1, 1));

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

2 changes: 1 addition & 1 deletion src/tools/miri/tests/fail/alloc/global_system_mixup.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -17,5 +17,5 @@ LL | System.deallocate(ptr, l);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

2 changes: 1 addition & 1 deletion src/tools/miri/tests/fail/alloc/no_global_allocator.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -8,5 +8,5 @@ LL | __rust_alloc(1, 1);
= note: BACKTRACE:
= note: inside `start` at $DIR/no_global_allocator.rs:LL:CC

error: aborting due to previous error
error: aborting due to 1 previous error

2 changes: 1 addition & 1 deletion src/tools/miri/tests/fail/alloc/reallocate-bad-size.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -16,5 +16,5 @@ LL | let _y = realloc(x, Layout::from_size_align_unchecked(2, 1), 1);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Original file line number Diff line number Diff line change
Expand Up @@ -21,5 +21,5 @@ LL | let _y = realloc(x, Layout::from_size_align_unchecked(1, 1), 1);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

2 changes: 1 addition & 1 deletion src/tools/miri/tests/fail/alloc/reallocate-dangling.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -26,5 +26,5 @@ LL | let _z = realloc(x, Layout::from_size_align_unchecked(1, 1), 1);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

2 changes: 1 addition & 1 deletion src/tools/miri/tests/fail/alloc/stack_free.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -20,5 +20,5 @@ LL | drop(bad_box);

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error
error: aborting due to 1 previous error

Loading

0 comments on commit 986d1a1

Please sign in to comment.