.

Author: brson

src/memcpy/memcpy.rs

@@ -5,7 +5,7 @@ use cfg_if::cfg_if;
 
 pub mod memcpy_trivial;
 
-pub type Memcpy = unsafe fn(dst: *mut u8, src: *mut u8, bytes: usize);
+pub type Memcpy = unsafe fn(dst: *mut u8, src: *const u8, bytes: usize);
 
 pub static ALL_MEMCPYS: &[Memcpy] = &[
     memcpy_trivial::memcpy,

src/memcpy/memcpy_trivial.rs

@@ -1,3 +1,3 @@
-pub unsafe fn memcpy(dst: *mut u8, src: *mut u8, bytes: usize) {
+pub unsafe fn memcpy(dst: *mut u8, src: *const u8, bytes: usize) {
     panic!()
 }

src/memcpy/test_memcpy.rs

@@ -0,0 +1,18 @@
+use proptest::prelude::*;
+use std::iter;
+
+use memcpy::memcpy_trivial::memcpy as memcpy_impl;
+
+proptest! {
+    #[test]
+    fn memcpy(src: Vec<u8>) {
+        let mut dst: Vec<_> = iter::repeat(0).take(src.len()).collect();
+        let src_ptr = src.as_ptr();
+        let dst_ptr = dst.as_mut_ptr();
+        let bytes = src.len();
+        unsafe {
+            memcpy_impl(dst_ptr, src_ptr, bytes);
+        }
+        assert_eq!(src, dst);
+    }
+}