diff options
Diffstat (limited to 'src/test/ui/consts/extra-const-ub')
4 files changed, 0 insertions, 140 deletions
diff --git a/src/test/ui/consts/extra-const-ub/detect-extra-ub.rs b/src/test/ui/consts/extra-const-ub/detect-extra-ub.rs deleted file mode 100644 index 9c239c8a1..000000000 --- a/src/test/ui/consts/extra-const-ub/detect-extra-ub.rs +++ /dev/null @@ -1,42 +0,0 @@ -// revisions: no_flag with_flag -// [no_flag] check-pass -// [with_flag] compile-flags: -Zextra-const-ub-checks -#![feature(const_ptr_read)] - -use std::mem::transmute; - -const INVALID_BOOL: () = unsafe { - let _x: bool = transmute(3u8); - //[with_flag]~^ ERROR: evaluation of constant value failed - //[with_flag]~| invalid value -}; - -const INVALID_PTR_IN_INT: () = unsafe { - let _x: usize = transmute(&3u8); - //[with_flag]~^ ERROR: evaluation of constant value failed -}; - -const INVALID_SLICE_TO_USIZE_TRANSMUTE: () = unsafe { - let x: &[u8] = &[0; 32]; - let _x: (usize, usize) = transmute(x); - //[with_flag]~^ ERROR: evaluation of constant value failed -}; - -const UNALIGNED_PTR: () = unsafe { - let _x: &u32 = transmute(&[0u8; 4]); - //[with_flag]~^ ERROR: evaluation of constant value failed - //[with_flag]~| invalid value -}; - -const UNALIGNED_READ: () = { - INNER; //[with_flag]~ constant - // There is an error here but its span is in the standard library so we cannot match it... - // so we have this in a *nested* const, such that the *outer* const fails to use it. - const INNER: () = unsafe { - let x = &[0u8; 4]; - let ptr = x.as_ptr().cast::<u32>(); - ptr.read(); - }; -}; - -fn main() {} diff --git a/src/test/ui/consts/extra-const-ub/detect-extra-ub.with_flag.stderr b/src/test/ui/consts/extra-const-ub/detect-extra-ub.with_flag.stderr deleted file mode 100644 index 2603a7358..000000000 --- a/src/test/ui/consts/extra-const-ub/detect-extra-ub.with_flag.stderr +++ /dev/null @@ -1,61 +0,0 @@ -error[E0080]: evaluation of constant value failed - --> $DIR/detect-extra-ub.rs:9:20 - | -LL | let _x: bool = transmute(3u8); - | ^^^^^^^^^^^^^^ constructing invalid value: encountered 0x03, but expected a boolean - -error[E0080]: evaluation of constant value failed - --> $DIR/detect-extra-ub.rs:15:21 - | -LL | let _x: usize = transmute(&3u8); - | ^^^^^^^^^^^^^^^ unable to turn pointer into raw bytes - | - = help: this code performed an operation that depends on the underlying bytes representing a pointer - = help: the absolute address of a pointer is not known at compile-time, so such operations are not supported - -error[E0080]: evaluation of constant value failed - --> $DIR/detect-extra-ub.rs:21:30 - | -LL | let _x: (usize, usize) = transmute(x); - | ^^^^^^^^^^^^ unable to turn pointer into raw bytes - | - = help: this code performed an operation that depends on the underlying bytes representing a pointer - = help: the absolute address of a pointer is not known at compile-time, so such operations are not supported - -error[E0080]: evaluation of constant value failed - --> $DIR/detect-extra-ub.rs:26:20 - | -LL | let _x: &u32 = transmute(&[0u8; 4]); - | ^^^^^^^^^^^^^^^^^^^^ constructing invalid value: encountered an unaligned reference (required 4 byte alignment but found 1) - -error[E0080]: evaluation of constant value failed - --> $SRC_DIR/core/src/ptr/mod.rs:LL:COL - | -LL | copy_nonoverlapping(src, tmp.as_mut_ptr(), 1); - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ accessing memory with alignment 1, but alignment 4 is required - | -note: inside `std::ptr::read::<u32>` - --> $SRC_DIR/core/src/ptr/mod.rs:LL:COL - | -LL | copy_nonoverlapping(src, tmp.as_mut_ptr(), 1); - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -note: inside `ptr::const_ptr::<impl *const u32>::read` - --> $SRC_DIR/core/src/ptr/const_ptr.rs:LL:COL - | -LL | unsafe { read(self) } - | ^^^^^^^^^^ -note: inside `INNER` - --> $DIR/detect-extra-ub.rs:38:9 - | -LL | ptr.read(); - | ^^^^^^^^^^ - -note: erroneous constant used - --> $DIR/detect-extra-ub.rs:32:5 - | -LL | INNER; - | ^^^^^ - -error: aborting due to 5 previous errors - -For more information about this error, try `rustc --explain E0080`. diff --git a/src/test/ui/consts/extra-const-ub/issue-100771.rs b/src/test/ui/consts/extra-const-ub/issue-100771.rs deleted file mode 100644 index a32960328..000000000 --- a/src/test/ui/consts/extra-const-ub/issue-100771.rs +++ /dev/null @@ -1,20 +0,0 @@ -// check-pass -// compile-flags: -Zextra-const-ub-checks - -#[derive(PartialEq, Eq, Copy, Clone)] -#[repr(packed)] -struct Foo { - field: (i64, u32, u32, u32), -} - -const FOO: Foo = Foo { - field: (5, 6, 7, 8), -}; - -fn main() { - match FOO { - Foo { field: (5, 6, 7, 8) } => {}, - FOO => unreachable!(), - _ => unreachable!(), - } -} diff --git a/src/test/ui/consts/extra-const-ub/issue-101034.rs b/src/test/ui/consts/extra-const-ub/issue-101034.rs deleted file mode 100644 index e0de705c4..000000000 --- a/src/test/ui/consts/extra-const-ub/issue-101034.rs +++ /dev/null @@ -1,17 +0,0 @@ -// check-pass -// compile-flags: -Zextra-const-ub-checks - -#[repr(packed)] -pub struct Foo { - bar: u8, - baa: [u32; 1], -} - -const FOOMP: Foo = Foo { - bar: 0, - baa: [69; 1], -}; - -fn main() { - let _val = FOOMP; -} |