tests/compile-fail/intrinsics/copy_unaligned.rs

   1 //error-pattern: accessing memory with alignment 1, but alignment 2 is required
   2 #![feature(intrinsics)]
   3
   4 // Directly call intrinsic to avoid debug assertions in libstd
   5 extern "rust-intrinsic" {
   6     fn copy_nonoverlapping<T>(src: *const T, dst: *mut T, count: usize);
   7 }
   8
   9 fn main() {
  10     let mut data = [0u16; 8];
  11     let ptr = (&mut data[0] as *mut u16 as *mut u8).wrapping_add(1) as *mut u16;
  12     // Even copying 0 elements to something unaligned should error
  13     unsafe { copy_nonoverlapping(&data[5], ptr, 0); }
  14 }