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

   1 use std::mem;
   2
   3 fn main() {
   4     let mut y = 0;
   5     unsafe {
   6         (&mut y as *mut i32).write_bytes(0u8, 1usize << (mem::size_of::<usize>() * 8 - 1));
   7         //~^ ERROR: overflow computing total size of `write_bytes`
   8     }
   9 }