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

   1 #![feature(intrinsics)]
   2
   3 // Directly call intrinsic to avoid debug assertions in libstd
   4 extern "rust-intrinsic" {
   5     fn write_bytes<T>(dst: *mut T, val: u8, count: usize);
   6 }
   7
   8 fn main() {
   9     unsafe { write_bytes::<u8>(std::ptr::null_mut(), 0, 0) }; //~ ERROR: memory access failed: null pointer is a dangling pointer
  10 }