Remove unsafe operation

Author: celinval

library/core/src/intrinsics.rs

@@ -3540,7 +3540,7 @@ fn check_copy_untyped<T>(src: *const T, dst: *mut T, count: usize) -> bool {
         let byte = kani::any_where(|sz: &usize| *sz < size_of::<T>());
         let elem = kani::any_where(|val: &usize| *val < count);
         let src_data = src as *const u8;
-        let dst_data = unsafe { dst.add(elem) } as *const u8;
+        let dst_data = dst.wrapping_add(elem) as *const u8;
         ub_checks::can_dereference(unsafe { src_data.add(byte) })
             == ub_checks::can_dereference(unsafe { dst_data.add(byte) })
     } else {