Function is_ptr_write 

pub fn is_ptr_write(callee: Option<DefId>) -> bool

Whether callee writes through a raw pointer to its first argument (ptr::write, write_bytes, write_unaligned, write_volatile).