From 64fb96f17e51317f58edc2da565853686e2d097b Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 30 Nov 2023 13:09:37 +0100 Subject: move 'uninit' tests into common directory --- .../tests/fail/uninit-after-aggregate-assign.rs | 27 ----------------- .../fail/uninit-after-aggregate-assign.stderr | 15 ---------- .../fail/uninit/uninit-after-aggregate-assign.rs | 27 +++++++++++++++++ .../uninit/uninit-after-aggregate-assign.stderr | 15 ++++++++++ .../tests/fail/uninit/uninit_alloc_diagnostic.rs | 23 +++++++++++++++ .../fail/uninit/uninit_alloc_diagnostic.stderr | 27 +++++++++++++++++ .../uninit_alloc_diagnostic_with_provenance.rs | 34 ++++++++++++++++++++++ .../uninit_alloc_diagnostic_with_provenance.stderr | 32 ++++++++++++++++++++ .../miri/tests/fail/uninit/uninit_byte_read.rs | 7 +++++ .../miri/tests/fail/uninit/uninit_byte_read.stderr | 15 ++++++++++ src/tools/miri/tests/fail/uninit_buffer.rs | 22 -------------- src/tools/miri/tests/fail/uninit_buffer.stderr | 27 ----------------- .../tests/fail/uninit_buffer_with_provenance.rs | 33 --------------------- .../fail/uninit_buffer_with_provenance.stderr | 32 -------------------- src/tools/miri/tests/fail/uninit_byte_read.rs | 7 ----- src/tools/miri/tests/fail/uninit_byte_read.stderr | 15 ---------- 16 files changed, 180 insertions(+), 178 deletions(-) delete mode 100644 src/tools/miri/tests/fail/uninit-after-aggregate-assign.rs delete mode 100644 src/tools/miri/tests/fail/uninit-after-aggregate-assign.stderr create mode 100644 src/tools/miri/tests/fail/uninit/uninit-after-aggregate-assign.rs create mode 100644 src/tools/miri/tests/fail/uninit/uninit-after-aggregate-assign.stderr create mode 100644 src/tools/miri/tests/fail/uninit/uninit_alloc_diagnostic.rs create mode 100644 src/tools/miri/tests/fail/uninit/uninit_alloc_diagnostic.stderr create mode 100644 src/tools/miri/tests/fail/uninit/uninit_alloc_diagnostic_with_provenance.rs create mode 100644 src/tools/miri/tests/fail/uninit/uninit_alloc_diagnostic_with_provenance.stderr create mode 100644 src/tools/miri/tests/fail/uninit/uninit_byte_read.rs create mode 100644 src/tools/miri/tests/fail/uninit/uninit_byte_read.stderr delete mode 100644 src/tools/miri/tests/fail/uninit_buffer.rs delete mode 100644 src/tools/miri/tests/fail/uninit_buffer.stderr delete mode 100644 src/tools/miri/tests/fail/uninit_buffer_with_provenance.rs delete mode 100644 src/tools/miri/tests/fail/uninit_buffer_with_provenance.stderr delete mode 100644 src/tools/miri/tests/fail/uninit_byte_read.rs delete mode 100644 src/tools/miri/tests/fail/uninit_byte_read.stderr diff --git a/src/tools/miri/tests/fail/uninit-after-aggregate-assign.rs b/src/tools/miri/tests/fail/uninit-after-aggregate-assign.rs deleted file mode 100644 index 98f9cc96fd0..00000000000 --- a/src/tools/miri/tests/fail/uninit-after-aggregate-assign.rs +++ /dev/null @@ -1,27 +0,0 @@ -#![feature(core_intrinsics)] -#![feature(custom_mir)] - -use std::intrinsics::mir::*; -use std::ptr; - -#[repr(C)] -struct S(u8, u16); - -#[custom_mir(dialect = "runtime", phase = "optimized")] -fn main() { - mir! { - let s: S; - let sptr; - let sptr2; - let _val; - { - sptr = ptr::addr_of_mut!(s); - sptr2 = sptr as *mut [u8; 4]; - *sptr2 = [0; 4]; - *sptr = S(0, 0); // should reset the padding - _val = *sptr2; // should hence be UB - //~^ERROR: encountered uninitialized memory - Return() - } - } -} diff --git a/src/tools/miri/tests/fail/uninit-after-aggregate-assign.stderr b/src/tools/miri/tests/fail/uninit-after-aggregate-assign.stderr deleted file mode 100644 index 5f3d9bde1f2..00000000000 --- a/src/tools/miri/tests/fail/uninit-after-aggregate-assign.stderr +++ /dev/null @@ -1,15 +0,0 @@ -error: Undefined Behavior: constructing invalid value at [1]: encountered uninitialized memory, but expected an integer - --> $DIR/uninit-after-aggregate-assign.rs:LL:CC - | -LL | _val = *sptr2; // should hence be UB - | ^^^^^^^^^^^^^ constructing invalid value at [1]: encountered uninitialized memory, but expected an integer - | - = 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: BACKTRACE: - = note: inside `main` at $DIR/uninit-after-aggregate-assign.rs:LL:CC - -note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace - -error: aborting due to 1 previous error - diff --git a/src/tools/miri/tests/fail/uninit/uninit-after-aggregate-assign.rs b/src/tools/miri/tests/fail/uninit/uninit-after-aggregate-assign.rs new file mode 100644 index 00000000000..98f9cc96fd0 --- /dev/null +++ b/src/tools/miri/tests/fail/uninit/uninit-after-aggregate-assign.rs @@ -0,0 +1,27 @@ +#![feature(core_intrinsics)] +#![feature(custom_mir)] + +use std::intrinsics::mir::*; +use std::ptr; + +#[repr(C)] +struct S(u8, u16); + +#[custom_mir(dialect = "runtime", phase = "optimized")] +fn main() { + mir! { + let s: S; + let sptr; + let sptr2; + let _val; + { + sptr = ptr::addr_of_mut!(s); + sptr2 = sptr as *mut [u8; 4]; + *sptr2 = [0; 4]; + *sptr = S(0, 0); // should reset the padding + _val = *sptr2; // should hence be UB + //~^ERROR: encountered uninitialized memory + Return() + } + } +} diff --git a/src/tools/miri/tests/fail/uninit/uninit-after-aggregate-assign.stderr b/src/tools/miri/tests/fail/uninit/uninit-after-aggregate-assign.stderr new file mode 100644 index 00000000000..5f3d9bde1f2 --- /dev/null +++ b/src/tools/miri/tests/fail/uninit/uninit-after-aggregate-assign.stderr @@ -0,0 +1,15 @@ +error: Undefined Behavior: constructing invalid value at [1]: encountered uninitialized memory, but expected an integer + --> $DIR/uninit-after-aggregate-assign.rs:LL:CC + | +LL | _val = *sptr2; // should hence be UB + | ^^^^^^^^^^^^^ constructing invalid value at [1]: encountered uninitialized memory, but expected an integer + | + = 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: BACKTRACE: + = note: inside `main` at $DIR/uninit-after-aggregate-assign.rs:LL:CC + +note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace + +error: aborting due to 1 previous error + diff --git a/src/tools/miri/tests/fail/uninit/uninit_alloc_diagnostic.rs b/src/tools/miri/tests/fail/uninit/uninit_alloc_diagnostic.rs new file mode 100644 index 00000000000..8deaa30d50f --- /dev/null +++ b/src/tools/miri/tests/fail/uninit/uninit_alloc_diagnostic.rs @@ -0,0 +1,23 @@ +//@compile-flags: -Zmiri-disable-validation +//@error-in-other-file: memory is uninitialized at [0x4..0x10] + +#![allow(dropping_copy_types)] + +use std::alloc::{alloc, dealloc, Layout}; +use std::slice::from_raw_parts; + +fn main() { + let layout = Layout::from_size_align(32, 8).unwrap(); + unsafe { + let ptr = alloc(layout); + *ptr = 0x41; + *ptr.add(1) = 0x42; + *ptr.add(2) = 0x43; + *ptr.add(3) = 0x44; + *ptr.add(16) = 0x00; + let slice1 = from_raw_parts(ptr, 16); + let slice2 = from_raw_parts(ptr.add(16), 16); + drop(slice1.cmp(slice2)); + dealloc(ptr, layout); + } +} diff --git a/src/tools/miri/tests/fail/uninit/uninit_alloc_diagnostic.stderr b/src/tools/miri/tests/fail/uninit/uninit_alloc_diagnostic.stderr new file mode 100644 index 00000000000..cca17a07ec2 --- /dev/null +++ b/src/tools/miri/tests/fail/uninit/uninit_alloc_diagnostic.stderr @@ -0,0 +1,27 @@ +error: Undefined Behavior: reading memory at ALLOC[0x0..0x10], but memory is uninitialized at [0x4..0x10], and this operation requires initialized memory + --> RUSTLIB/core/src/slice/cmp.rs:LL:CC + | +LL | let mut order = unsafe { compare_bytes(left.as_ptr(), right.as_ptr(), len) as isize }; + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ reading memory at ALLOC[0x0..0x10], but memory is uninitialized at [0x4..0x10], and this operation requires initialized memory + | + = 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: BACKTRACE: + = note: inside `::compare` at RUSTLIB/core/src/slice/cmp.rs:LL:CC + = note: inside `core::slice::cmp::::cmp` at RUSTLIB/core/src/slice/cmp.rs:LL:CC +note: inside `main` + --> $DIR/uninit_alloc_diagnostic.rs:LL:CC + | +LL | drop(slice1.cmp(slice2)); + | ^^^^^^^^^^^^^^^^^^ + +note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace + +Uninitialized memory occurred at ALLOC[0x4..0x10], in this allocation: +ALLOC (Rust heap, size: 32, align: 8) { + 0x00 │ 41 42 43 44 __ __ __ __ __ __ __ __ __ __ __ __ │ ABCD░░░░░░░░░░░░ + 0x10 │ 00 __ __ __ __ __ __ __ __ __ __ __ __ __ __ __ │ .░░░░░░░░░░░░░░░ +} + +error: aborting due to 1 previous error + diff --git a/src/tools/miri/tests/fail/uninit/uninit_alloc_diagnostic_with_provenance.rs b/src/tools/miri/tests/fail/uninit/uninit_alloc_diagnostic_with_provenance.rs new file mode 100644 index 00000000000..adabff4a2ce --- /dev/null +++ b/src/tools/miri/tests/fail/uninit/uninit_alloc_diagnostic_with_provenance.rs @@ -0,0 +1,34 @@ +//@compile-flags: -Zmiri-disable-validation +//@error-in-other-file: memory is uninitialized at [0x4..0x8] +//@normalize-stderr-test: "a[0-9]+" -> "ALLOC" +#![feature(strict_provenance)] +#![allow(dropping_copy_types)] + +// Test printing allocations that contain single-byte provenance. + +use std::alloc::{alloc, dealloc, Layout}; +use std::mem::{self, MaybeUninit}; +use std::slice::from_raw_parts; + +fn byte_with_provenance(val: u8, prov: *const T) -> MaybeUninit { + let ptr = prov.with_addr(val as usize); + let bytes: [MaybeUninit; mem::size_of::<*const ()>()] = unsafe { mem::transmute(ptr) }; + let lsb = if cfg!(target_endian = "little") { 0 } else { bytes.len() - 1 }; + bytes[lsb] +} + +fn main() { + let layout = Layout::from_size_align(16, 8).unwrap(); + unsafe { + let ptr = alloc(layout); + let ptr_raw = ptr.cast::>(); + *ptr_raw.add(0) = byte_with_provenance(0x42, &42u8); + *ptr.add(1) = 0x12; + *ptr.add(2) = 0x13; + *ptr_raw.add(3) = byte_with_provenance(0x43, &0u8); + let slice1 = from_raw_parts(ptr, 8); + let slice2 = from_raw_parts(ptr.add(8), 8); + drop(slice1.cmp(slice2)); + dealloc(ptr, layout); + } +} diff --git a/src/tools/miri/tests/fail/uninit/uninit_alloc_diagnostic_with_provenance.stderr b/src/tools/miri/tests/fail/uninit/uninit_alloc_diagnostic_with_provenance.stderr new file mode 100644 index 00000000000..4dc2d27ead4 --- /dev/null +++ b/src/tools/miri/tests/fail/uninit/uninit_alloc_diagnostic_with_provenance.stderr @@ -0,0 +1,32 @@ +error: Undefined Behavior: reading memory at ALLOC[0x0..0x8], but memory is uninitialized at [0x4..0x8], and this operation requires initialized memory + --> RUSTLIB/core/src/slice/cmp.rs:LL:CC + | +LL | let mut order = unsafe { compare_bytes(left.as_ptr(), right.as_ptr(), len) as isize }; + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ reading memory at ALLOC[0x0..0x8], but memory is uninitialized at [0x4..0x8], and this operation requires initialized memory + | + = 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: BACKTRACE: + = note: inside `::compare` at RUSTLIB/core/src/slice/cmp.rs:LL:CC + = note: inside `core::slice::cmp::::cmp` at RUSTLIB/core/src/slice/cmp.rs:LL:CC +note: inside `main` + --> $DIR/uninit_alloc_diagnostic_with_provenance.rs:LL:CC + | +LL | drop(slice1.cmp(slice2)); + | ^^^^^^^^^^^^^^^^^^ + +note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace + +Uninitialized memory occurred at ALLOC[0x4..0x8], in this allocation: +ALLOC (Rust heap, size: 16, align: 8) { + ╾42[ALLOC] (1 ptr byte)╼ 12 13 ╾43[ALLOC] (1 ptr byte)╼ __ __ __ __ __ __ __ __ __ __ __ __ │ ━..━░░░░░░░░░░░░ +} +ALLOC (global (static or const), size: 1, align: 1) { + 2a │ * +} +ALLOC (global (static or const), size: 1, align: 1) { + 00 │ . +} + +error: aborting due to 1 previous error + diff --git a/src/tools/miri/tests/fail/uninit/uninit_byte_read.rs b/src/tools/miri/tests/fail/uninit/uninit_byte_read.rs new file mode 100644 index 00000000000..f1dace0cff9 --- /dev/null +++ b/src/tools/miri/tests/fail/uninit/uninit_byte_read.rs @@ -0,0 +1,7 @@ +//@compile-flags: -Zmiri-disable-stacked-borrows +fn main() { + let v: Vec = Vec::with_capacity(10); + let undef = unsafe { *v.get_unchecked(5) }; //~ ERROR: uninitialized + let x = undef + 1; + panic!("this should never print: {}", x); +} diff --git a/src/tools/miri/tests/fail/uninit/uninit_byte_read.stderr b/src/tools/miri/tests/fail/uninit/uninit_byte_read.stderr new file mode 100644 index 00000000000..b70f0ad9950 --- /dev/null +++ b/src/tools/miri/tests/fail/uninit/uninit_byte_read.stderr @@ -0,0 +1,15 @@ +error: Undefined Behavior: using uninitialized data, but this operation requires initialized memory + --> $DIR/uninit_byte_read.rs:LL:CC + | +LL | let undef = unsafe { *v.get_unchecked(5) }; + | ^^^^^^^^^^^^^^^^^^^ using uninitialized data, but this operation requires initialized memory + | + = 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: BACKTRACE: + = note: inside `main` at $DIR/uninit_byte_read.rs:LL:CC + +note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace + +error: aborting due to 1 previous error + diff --git a/src/tools/miri/tests/fail/uninit_buffer.rs b/src/tools/miri/tests/fail/uninit_buffer.rs deleted file mode 100644 index d622b2fa7d8..00000000000 --- a/src/tools/miri/tests/fail/uninit_buffer.rs +++ /dev/null @@ -1,22 +0,0 @@ -//@error-in-other-file: memory is uninitialized at [0x4..0x10] - -#![allow(dropping_copy_types)] - -use std::alloc::{alloc, dealloc, Layout}; -use std::slice::from_raw_parts; - -fn main() { - let layout = Layout::from_size_align(32, 8).unwrap(); - unsafe { - let ptr = alloc(layout); - *ptr = 0x41; - *ptr.add(1) = 0x42; - *ptr.add(2) = 0x43; - *ptr.add(3) = 0x44; - *ptr.add(16) = 0x00; - let slice1 = from_raw_parts(ptr, 16); - let slice2 = from_raw_parts(ptr.add(16), 16); - drop(slice1.cmp(slice2)); - dealloc(ptr, layout); - } -} diff --git a/src/tools/miri/tests/fail/uninit_buffer.stderr b/src/tools/miri/tests/fail/uninit_buffer.stderr deleted file mode 100644 index 2d04c0f9be2..00000000000 --- a/src/tools/miri/tests/fail/uninit_buffer.stderr +++ /dev/null @@ -1,27 +0,0 @@ -error: Undefined Behavior: reading memory at ALLOC[0x0..0x10], but memory is uninitialized at [0x4..0x10], and this operation requires initialized memory - --> RUSTLIB/core/src/slice/cmp.rs:LL:CC - | -LL | let mut order = unsafe { compare_bytes(left.as_ptr(), right.as_ptr(), len) as isize }; - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ reading memory at ALLOC[0x0..0x10], but memory is uninitialized at [0x4..0x10], and this operation requires initialized memory - | - = 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: BACKTRACE: - = note: inside `::compare` at RUSTLIB/core/src/slice/cmp.rs:LL:CC - = note: inside `core::slice::cmp::::cmp` at RUSTLIB/core/src/slice/cmp.rs:LL:CC -note: inside `main` - --> $DIR/uninit_buffer.rs:LL:CC - | -LL | drop(slice1.cmp(slice2)); - | ^^^^^^^^^^^^^^^^^^ - -note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace - -Uninitialized memory occurred at ALLOC[0x4..0x10], in this allocation: -ALLOC (Rust heap, size: 32, align: 8) { - 0x00 │ 41 42 43 44 __ __ __ __ __ __ __ __ __ __ __ __ │ ABCD░░░░░░░░░░░░ - 0x10 │ 00 __ __ __ __ __ __ __ __ __ __ __ __ __ __ __ │ .░░░░░░░░░░░░░░░ -} - -error: aborting due to 1 previous error - diff --git a/src/tools/miri/tests/fail/uninit_buffer_with_provenance.rs b/src/tools/miri/tests/fail/uninit_buffer_with_provenance.rs deleted file mode 100644 index ca825901372..00000000000 --- a/src/tools/miri/tests/fail/uninit_buffer_with_provenance.rs +++ /dev/null @@ -1,33 +0,0 @@ -//@error-in-other-file: memory is uninitialized at [0x4..0x8] -//@normalize-stderr-test: "a[0-9]+" -> "ALLOC" -#![feature(strict_provenance)] -#![allow(dropping_copy_types)] - -// Test printing allocations that contain single-byte provenance. - -use std::alloc::{alloc, dealloc, Layout}; -use std::mem::{self, MaybeUninit}; -use std::slice::from_raw_parts; - -fn byte_with_provenance(val: u8, prov: *const T) -> MaybeUninit { - let ptr = prov.with_addr(val as usize); - let bytes: [MaybeUninit; mem::size_of::<*const ()>()] = unsafe { mem::transmute(ptr) }; - let lsb = if cfg!(target_endian = "little") { 0 } else { bytes.len() - 1 }; - bytes[lsb] -} - -fn main() { - let layout = Layout::from_size_align(16, 8).unwrap(); - unsafe { - let ptr = alloc(layout); - let ptr_raw = ptr.cast::>(); - *ptr_raw.add(0) = byte_with_provenance(0x42, &42u8); - *ptr.add(1) = 0x12; - *ptr.add(2) = 0x13; - *ptr_raw.add(3) = byte_with_provenance(0x43, &0u8); - let slice1 = from_raw_parts(ptr, 8); - let slice2 = from_raw_parts(ptr.add(8), 8); - drop(slice1.cmp(slice2)); - dealloc(ptr, layout); - } -} diff --git a/src/tools/miri/tests/fail/uninit_buffer_with_provenance.stderr b/src/tools/miri/tests/fail/uninit_buffer_with_provenance.stderr deleted file mode 100644 index cd842f0eba5..00000000000 --- a/src/tools/miri/tests/fail/uninit_buffer_with_provenance.stderr +++ /dev/null @@ -1,32 +0,0 @@ -error: Undefined Behavior: reading memory at ALLOC[0x0..0x8], but memory is uninitialized at [0x4..0x8], and this operation requires initialized memory - --> RUSTLIB/core/src/slice/cmp.rs:LL:CC - | -LL | let mut order = unsafe { compare_bytes(left.as_ptr(), right.as_ptr(), len) as isize }; - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ reading memory at ALLOC[0x0..0x8], but memory is uninitialized at [0x4..0x8], and this operation requires initialized memory - | - = 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: BACKTRACE: - = note: inside `::compare` at RUSTLIB/core/src/slice/cmp.rs:LL:CC - = note: inside `core::slice::cmp::::cmp` at RUSTLIB/core/src/slice/cmp.rs:LL:CC -note: inside `main` - --> $DIR/uninit_buffer_with_provenance.rs:LL:CC - | -LL | drop(slice1.cmp(slice2)); - | ^^^^^^^^^^^^^^^^^^ - -note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace - -Uninitialized memory occurred at ALLOC[0x4..0x8], in this allocation: -ALLOC (Rust heap, size: 16, align: 8) { - ╾42[ALLOC] (1 ptr byte)╼ 12 13 ╾43[ALLOC] (1 ptr byte)╼ __ __ __ __ __ __ __ __ __ __ __ __ │ ━..━░░░░░░░░░░░░ -} -ALLOC (global (static or const), size: 1, align: 1) { - 2a │ * -} -ALLOC (global (static or const), size: 1, align: 1) { - 00 │ . -} - -error: aborting due to 1 previous error - diff --git a/src/tools/miri/tests/fail/uninit_byte_read.rs b/src/tools/miri/tests/fail/uninit_byte_read.rs deleted file mode 100644 index f1dace0cff9..00000000000 --- a/src/tools/miri/tests/fail/uninit_byte_read.rs +++ /dev/null @@ -1,7 +0,0 @@ -//@compile-flags: -Zmiri-disable-stacked-borrows -fn main() { - let v: Vec = Vec::with_capacity(10); - let undef = unsafe { *v.get_unchecked(5) }; //~ ERROR: uninitialized - let x = undef + 1; - panic!("this should never print: {}", x); -} diff --git a/src/tools/miri/tests/fail/uninit_byte_read.stderr b/src/tools/miri/tests/fail/uninit_byte_read.stderr deleted file mode 100644 index b70f0ad9950..00000000000 --- a/src/tools/miri/tests/fail/uninit_byte_read.stderr +++ /dev/null @@ -1,15 +0,0 @@ -error: Undefined Behavior: using uninitialized data, but this operation requires initialized memory - --> $DIR/uninit_byte_read.rs:LL:CC - | -LL | let undef = unsafe { *v.get_unchecked(5) }; - | ^^^^^^^^^^^^^^^^^^^ using uninitialized data, but this operation requires initialized memory - | - = 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: BACKTRACE: - = note: inside `main` at $DIR/uninit_byte_read.rs:LL:CC - -note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace - -error: aborting due to 1 previous error - -- cgit 1.4.1-3-g733a5