1 #![stable(feature = "dummy", since = "1.0.0")]
3 // ignore-tidy-linelength
4 #![feature(intrinsics, staged_api)]
5 #![feature(const_mut_refs, const_intrinsic_copy, const_ptr_offset)]
8 extern "rust-intrinsic" {
9 #[rustc_const_unstable(feature = "const_intrinsic_copy", issue = "80697")]
10 fn copy_nonoverlapping
<T
>(src
: *const T
, dst
: *mut T
, count
: usize);
12 #[rustc_const_unstable(feature = "const_intrinsic_copy", issue = "80697")]
13 fn copy
<T
>(src
: *const T
, dst
: *mut T
, count
: usize);
16 const COPY_ZERO
: () = unsafe {
17 // Since we are not copying anything, this should be allowed.
20 copy_nonoverlapping(&src
as *const _
as *const i32, &mut dst
as *mut _
as *mut i32, 0);
23 const COPY_OOB_1
: () = unsafe {
25 let dangle
= (&mut x
as *mut i32).wrapping_add(10);
26 // Even if the first ptr is an int ptr and this is a ZST copy, we should detect dangling 2nd ptrs.
27 copy_nonoverlapping(0x100 as *const i32, dangle
, 0); //~ ERROR evaluation of constant value failed [E0080]
28 //~| pointer at offset 40 is out-of-bounds
30 const COPY_OOB_2
: () = unsafe {
32 let dangle
= (&x
as *const i32).wrapping_add(10);
33 // Even if the second ptr is an int ptr and this is a ZST copy, we should detect dangling 1st ptrs.
34 copy_nonoverlapping(dangle
, 0x100 as *mut i32, 0); //~ ERROR evaluation of constant value failed [E0080]
35 //~| pointer at offset 40 is out-of-bounds
38 const COPY_SIZE_OVERFLOW
: () = unsafe {
41 copy(&x
, &mut y
, 1usize
<< (mem
::size_of
::<usize>() * 8 - 1)); //~ ERROR evaluation of constant value failed [E0080]
42 //~| overflow computing total size of `copy`
44 const COPY_NONOVERLAPPING_SIZE_OVERFLOW
: () = unsafe {
47 copy_nonoverlapping(&x
, &mut y
, 1usize
<< (mem
::size_of
::<usize>() * 8 - 1)); //~ evaluation of constant value failed [E0080]
48 //~| overflow computing total size of `copy_nonoverlapping`