summaryrefslogtreecommitdiffstats
path: root/src/test/ui/consts/extra-const-ub/detect-extra-ub.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/consts/extra-const-ub/detect-extra-ub.rs')
-rw-r--r--src/test/ui/consts/extra-const-ub/detect-extra-ub.rs42
1 files changed, 0 insertions, 42 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() {}