+++ /dev/null
-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
-
+++ /dev/null
-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
-
+++ /dev/null
-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
-
+++ /dev/null
-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
-
+++ /dev/null
-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
-
+++ /dev/null
-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::<impl *mut [u8; 0]>::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
-
+++ /dev/null
-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
-
+++ /dev/null
-error: Undefined Behavior: type validation failed: encountered pointer to $HEX[ALLOC]<TAG>, 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]<TAG>, 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
-
+++ /dev/null
-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
-
+++ /dev/null
-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::<impl *const u8>::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
-
+++ /dev/null
-error: Undefined Behavior: type validation failed: encountered pointer to $HEX[ALLOC]<TAG>, 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]<TAG>, 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
-
+++ /dev/null
-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
-
+++ /dev/null
-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
-
+++ /dev/null
-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::<f32>::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
-
+++ /dev/null
-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::<usize>::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
-
+++ /dev/null
-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::<i32>::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
-