From 2b9c45f96f57069396e2029583aa762ecca569d4 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 3 Jun 2022 07:36:05 -0400 Subject: [PATCH] delete stale stderr files --- .../backtrace/bad-backtrace-version.stderr | 14 ------------- tests/fail/fs/unix_open_too_many_args.stderr | 20 ------------------- tests/fail/null_pointer_deref.stderr | 15 -------------- tests/fail/null_pointer_deref_zst.stderr | 15 -------------- tests/fail/null_pointer_write.stderr | 15 -------------- tests/fail/null_pointer_write_zst.stderr | 17 ---------------- tests/fail/ptr_integer_array_transmute.stderr | 15 -------------- tests/fail/ptr_integer_transmute.stderr | 15 -------------- tests/fail/slice-too-big.stderr | 15 -------------- tests/fail/strict-provenance-offset.stderr | 16 --------------- tests/fail/strict_provenance_transmute.stderr | 20 ------------------- tests/fail/too-big-slice.stderr | 15 -------------- tests/fail/too-big-unsized.stderr | 15 -------------- tests/fail/uninit_float.stderr | 15 -------------- tests/fail/uninit_integer.stderr | 15 -------------- tests/fail/uninit_integer_signed.stderr | 15 -------------- 16 files changed, 252 deletions(-) delete mode 100644 tests/fail/backtrace/bad-backtrace-version.stderr delete mode 100644 tests/fail/fs/unix_open_too_many_args.stderr delete mode 100644 tests/fail/null_pointer_deref.stderr delete mode 100644 tests/fail/null_pointer_deref_zst.stderr delete mode 100644 tests/fail/null_pointer_write.stderr delete mode 100644 tests/fail/null_pointer_write_zst.stderr delete mode 100644 tests/fail/ptr_integer_array_transmute.stderr delete mode 100644 tests/fail/ptr_integer_transmute.stderr delete mode 100644 tests/fail/slice-too-big.stderr delete mode 100644 tests/fail/strict-provenance-offset.stderr delete mode 100644 tests/fail/strict_provenance_transmute.stderr delete mode 100644 tests/fail/too-big-slice.stderr delete mode 100644 tests/fail/too-big-unsized.stderr delete mode 100644 tests/fail/uninit_float.stderr delete mode 100644 tests/fail/uninit_integer.stderr delete mode 100644 tests/fail/uninit_integer_signed.stderr diff --git a/tests/fail/backtrace/bad-backtrace-version.stderr b/tests/fail/backtrace/bad-backtrace-version.stderr deleted file mode 100644 index 4e729273275..00000000000 --- a/tests/fail/backtrace/bad-backtrace-version.stderr +++ /dev/null @@ -1,14 +0,0 @@ -error: unsupported operation: unknown `miri_resolve_frame` flags 1 - --> $DIR/bad-backtrace-version.rs:7:9 - | -LL | miri_resolve_frame(0 as *mut _, 1); //~ ERROR unsupported operation: unknown `miri_resolve_frame` flags 1 - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown `miri_resolve_frame` flags 1 - | - = help: this is likely not a bug in the program; it indicates that the program performed an operation that the interpreter does not support - - = note: inside `main` at $DIR/bad-backtrace-version.rs:7:9 - -note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace - -error: aborting due to previous error - diff --git a/tests/fail/fs/unix_open_too_many_args.stderr b/tests/fail/fs/unix_open_too_many_args.stderr deleted file mode 100644 index f71a44d34da..00000000000 --- a/tests/fail/fs/unix_open_too_many_args.stderr +++ /dev/null @@ -1,20 +0,0 @@ -error: Undefined Behavior: incorrect number of arguments for `open`: got 4, expected 2 or 3 - --> $DIR/unix_open_too_many_args.rs:15:24 - | -LL | let _fd = unsafe { libc::open(name_ptr, libc::O_RDONLY, 0, 0) }; //~ ERROR Undefined Behavior: incorrect number of arguments for `ope... - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ incorrect number of arguments for `open`: got 4, expected 2 or 3 - | - = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior - = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information - - = note: inside `test_open_too_many_args` at $DIR/unix_open_too_many_args.rs:15:24 -note: inside `main` at $DIR/unix_open_too_many_args.rs:9:5 - --> $DIR/unix_open_too_many_args.rs:9:5 - | -LL | test_open_too_many_args(); - | ^^^^^^^^^^^^^^^^^^^^^^^^^ - -note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace - -error: aborting due to previous error - diff --git a/tests/fail/null_pointer_deref.stderr b/tests/fail/null_pointer_deref.stderr deleted file mode 100644 index 0930160023f..00000000000 --- a/tests/fail/null_pointer_deref.stderr +++ /dev/null @@ -1,15 +0,0 @@ -error: Undefined Behavior: dereferencing pointer failed: null pointer is not a valid pointer - --> $DIR/null_pointer_deref.rs:LL:CC - | -LL | let x: i32 = unsafe { *std::ptr::null() }; - | ^^^^^^^^^^^^^^^^^ dereferencing pointer failed: null pointer is not a valid pointer - | - = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior - = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information - - = note: inside `main` at $DIR/null_pointer_deref.rs:LL:CC - -note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace - -error: aborting due to previous error - diff --git a/tests/fail/null_pointer_deref_zst.stderr b/tests/fail/null_pointer_deref_zst.stderr deleted file mode 100644 index 25fea50b15a..00000000000 --- a/tests/fail/null_pointer_deref_zst.stderr +++ /dev/null @@ -1,15 +0,0 @@ -error: Undefined Behavior: dereferencing pointer failed: null pointer is not a valid pointer - --> $DIR/null_pointer_deref_zst.rs:LL:CC - | -LL | let x: () = unsafe { *std::ptr::null() }; - | ^^^^^^^^^^^^^^^^^ dereferencing pointer failed: null pointer is not a valid pointer - | - = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior - = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information - - = note: inside `main` at $DIR/null_pointer_deref_zst.rs:LL:CC - -note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace - -error: aborting due to previous error - diff --git a/tests/fail/null_pointer_write.stderr b/tests/fail/null_pointer_write.stderr deleted file mode 100644 index 5ac8cc7c20f..00000000000 --- a/tests/fail/null_pointer_write.stderr +++ /dev/null @@ -1,15 +0,0 @@ -error: Undefined Behavior: dereferencing pointer failed: null pointer is not a valid pointer - --> $DIR/null_pointer_write.rs:LL:CC - | -LL | unsafe { *std::ptr::null_mut() = 0i32 }; - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ dereferencing pointer failed: null pointer is not a valid pointer - | - = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior - = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information - - = note: inside `main` at $DIR/null_pointer_write.rs:LL:CC - -note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace - -error: aborting due to previous error - diff --git a/tests/fail/null_pointer_write_zst.stderr b/tests/fail/null_pointer_write_zst.stderr deleted file mode 100644 index b40a9154f18..00000000000 --- a/tests/fail/null_pointer_write_zst.stderr +++ /dev/null @@ -1,17 +0,0 @@ -error: Undefined Behavior: memory access failed: null pointer is not a valid pointer - | - = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior - = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information - - = note: inside `std::ptr::write::<[u8; 0]>` at rustc_src/src/ptr/mod.rs:LL:CC - = note: inside `std::ptr::mut_ptr::::write` at rustc_src/src/ptr/mut_ptr.rs:LL:CC -note: inside `main` at $DIR/null_pointer_write_zst.rs:LL:CC - --> $DIR/null_pointer_write_zst.rs:LL:CC - | -LL | unsafe { std::ptr::null_mut::<[u8; 0]>().write(zst_val) }; - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - -note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace - -error: aborting due to previous error - diff --git a/tests/fail/ptr_integer_array_transmute.stderr b/tests/fail/ptr_integer_array_transmute.stderr deleted file mode 100644 index bc2ca54438f..00000000000 --- a/tests/fail/ptr_integer_array_transmute.stderr +++ /dev/null @@ -1,15 +0,0 @@ -error: Undefined Behavior: type validation failed: encountered a pointer, but expected plain (non-pointer) bytes - --> $DIR/ptr_integer_array_transmute.rs:LL:CC - | -LL | let _i: [usize; 1] = unsafe { std::mem::transmute(r) }; - | ^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered a pointer, but expected plain (non-pointer) bytes - | - = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior - = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information - - = note: inside `main` at $DIR/ptr_integer_array_transmute.rs:LL:CC - -note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace - -error: aborting due to previous error - diff --git a/tests/fail/ptr_integer_transmute.stderr b/tests/fail/ptr_integer_transmute.stderr deleted file mode 100644 index de9ebf4eb06..00000000000 --- a/tests/fail/ptr_integer_transmute.stderr +++ /dev/null @@ -1,15 +0,0 @@ -error: Undefined Behavior: type validation failed: encountered pointer to $HEX[ALLOC], but expected initialized plain (non-pointer) bytes - --> $DIR/ptr_integer_transmute.rs:LL:CC - | -LL | let _i: usize = unsafe { std::mem::transmute(r) }; - | ^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered pointer to $HEX[ALLOC], but expected initialized plain (non-pointer) bytes - | - = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior - = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information - - = note: inside `main` at $DIR/ptr_integer_transmute.rs:LL:CC - -note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace - -error: aborting due to previous error - diff --git a/tests/fail/slice-too-big.stderr b/tests/fail/slice-too-big.stderr deleted file mode 100644 index 13239506c63..00000000000 --- a/tests/fail/slice-too-big.stderr +++ /dev/null @@ -1,15 +0,0 @@ -error: Undefined Behavior: type validation failed: encountered invalid reference metadata: slice is bigger than largest supported object - --> $DIR/slice-too-big.rs:5:21 - | -LL | let _x: &[u8] = mem::transmute((ptr, usize::MAX)); //~ ERROR: invalid reference metadata: slice is bigger than largest supported object - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered invalid reference metadata: slice is bigger than largest supported object - | - = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior - = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information - - = note: inside `main` at $DIR/slice-too-big.rs:5:21 - -note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace - -error: aborting due to previous error - diff --git a/tests/fail/strict-provenance-offset.stderr b/tests/fail/strict-provenance-offset.stderr deleted file mode 100644 index 482b7a404c5..00000000000 --- a/tests/fail/strict-provenance-offset.stderr +++ /dev/null @@ -1,16 +0,0 @@ -error: Undefined Behavior: pointer arithmetic failed: $HEX is not a valid pointer - | - = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior - = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information - - = note: inside `std::ptr::const_ptr::::offset` at rustc_src/src/ptr/const_ptr.rs:LL:CC -note: inside `main` at $DIR/strict-provenance-offset.rs:LL:CC - --> $DIR/strict-provenance-offset.rs:LL:CC - | -LL | let _ = unsafe { roundtrip.offset(1) }; - | ^^^^^^^^^^^^^^^^^^^ - -note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace - -error: aborting due to previous error - diff --git a/tests/fail/strict_provenance_transmute.stderr b/tests/fail/strict_provenance_transmute.stderr deleted file mode 100644 index c2140b9786c..00000000000 --- a/tests/fail/strict_provenance_transmute.stderr +++ /dev/null @@ -1,20 +0,0 @@ -error: Undefined Behavior: type validation failed: encountered pointer to $HEX[ALLOC], but expected initialized plain (non-pointer) bytes - --> $DIR/strict_provenance_transmute.rs:LL:CC - | -LL | let left_int: usize = mem::transmute(left); - | ^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered pointer to $HEX[ALLOC], but expected initialized plain (non-pointer) bytes - | - = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior - = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information - - = note: inside `deref` at $DIR/strict_provenance_transmute.rs:LL:CC -note: inside `main` at $DIR/strict_provenance_transmute.rs:LL:CC - --> $DIR/strict_provenance_transmute.rs:LL:CC - | -LL | deref(ptr1, ptr2.with_addr(ptr1.addr())); - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - -note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace - -error: aborting due to previous error - diff --git a/tests/fail/too-big-slice.stderr b/tests/fail/too-big-slice.stderr deleted file mode 100644 index 11d20d3e623..00000000000 --- a/tests/fail/too-big-slice.stderr +++ /dev/null @@ -1,15 +0,0 @@ -error: Undefined Behavior: type validation failed: encountered invalid reference metadata: slice is bigger than largest supported object - --> $DIR/too-big-slice.rs:LL:CC - | -LL | let _x: &[u8] = mem::transmute((ptr, usize::MAX)); - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered invalid reference metadata: slice is bigger than largest supported object - | - = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior - = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information - - = note: inside `main` at $DIR/too-big-slice.rs:LL:CC - -note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace - -error: aborting due to previous error - diff --git a/tests/fail/too-big-unsized.stderr b/tests/fail/too-big-unsized.stderr deleted file mode 100644 index 0c7b7b23246..00000000000 --- a/tests/fail/too-big-unsized.stderr +++ /dev/null @@ -1,15 +0,0 @@ -error: Undefined Behavior: type validation failed: encountered invalid reference metadata: total size is bigger than largest supported object - --> $DIR/too-big-unsized.rs:LL:CC - | -LL | let _x: &MySlice = mem::transmute((ptr, isize::MAX as usize)); - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered invalid reference metadata: total size is bigger than largest supported object - | - = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior - = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information - - = note: inside `main` at $DIR/too-big-unsized.rs:LL:CC - -note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace - -error: aborting due to previous error - diff --git a/tests/fail/uninit_float.stderr b/tests/fail/uninit_float.stderr deleted file mode 100644 index 90cdc3ba0fa..00000000000 --- a/tests/fail/uninit_float.stderr +++ /dev/null @@ -1,15 +0,0 @@ -error: Undefined Behavior: type validation failed at .value: encountered uninitialized bytes, but expected initialized plain (non-pointer) bytes - --> $DIR/uninit_float.rs:LL:CC - | -LL | let _val = unsafe { std::mem::MaybeUninit::::uninit().assume_init() }; - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed at .value: encountered uninitialized bytes, but expected initialized plain (non-pointer) bytes - | - = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior - = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information - - = note: inside `main` at $DIR/uninit_float.rs:LL:CC - -note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace - -error: aborting due to previous error - diff --git a/tests/fail/uninit_integer.stderr b/tests/fail/uninit_integer.stderr deleted file mode 100644 index 88b57c1d279..00000000000 --- a/tests/fail/uninit_integer.stderr +++ /dev/null @@ -1,15 +0,0 @@ -error: Undefined Behavior: type validation failed at .value: encountered uninitialized bytes, but expected initialized plain (non-pointer) bytes - --> $DIR/uninit_integer.rs:LL:CC - | -LL | let _val = unsafe { std::mem::MaybeUninit::::uninit().assume_init() }; - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed at .value: encountered uninitialized bytes, but expected initialized plain (non-pointer) bytes - | - = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior - = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information - - = note: inside `main` at $DIR/uninit_integer.rs:LL:CC - -note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace - -error: aborting due to previous error - diff --git a/tests/fail/uninit_integer_signed.stderr b/tests/fail/uninit_integer_signed.stderr deleted file mode 100644 index fc15462280a..00000000000 --- a/tests/fail/uninit_integer_signed.stderr +++ /dev/null @@ -1,15 +0,0 @@ -error: Undefined Behavior: type validation failed at .value: encountered uninitialized bytes, but expected initialized plain (non-pointer) bytes - --> $DIR/uninit_integer_signed.rs:LL:CC - | -LL | let _val = unsafe { std::mem::MaybeUninit::::uninit().assume_init() }; - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed at .value: encountered uninitialized bytes, but expected initialized plain (non-pointer) bytes - | - = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior - = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information - - = note: inside `main` at $DIR/uninit_integer_signed.rs:LL:CC - -note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace - -error: aborting due to previous error -