src/tools/miri/tests/fail/intrinsics/copy_overlapping.rs

   1 #![feature(intrinsics)]
   2
   3 // Directly call intrinsic to avoid debug assertions in libstd
   4 extern "rust-intrinsic" {
   5     fn copy_nonoverlapping<T>(src: *const T, dst: *mut T, count: usize);
   6 }
   7
   8 fn main() {
   9     let mut data = [0u8; 16];
  10     unsafe {
  11         let a = data.as_mut_ptr();
  12         let b = a.wrapping_offset(1) as *mut _;
  13         copy_nonoverlapping(a, b, 2); //~ ERROR: copy_nonoverlapping called on overlapping ranges
  14     }
  15 }