diff options
Diffstat (limited to 'src/string/memcpy.c')
| -rw-r--r-- | src/string/memcpy.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/string/memcpy.c b/src/string/memcpy.c index 0fb76f99..864f8c70 100644 --- a/src/string/memcpy.c +++ b/src/string/memcpy.c @@ -13,11 +13,15 @@ void * memcpy(void * restrict s1, const void * restrict s2, size_t n) ASSERT_NONNULL(s1); ASSERT_NONNULL(s2); ASSERT_NOOVERLAP(s1, n, s2, n); + DANGEROUS_READ(s2, n); + DANGEROUS_WRITE(s1, n); for (i = 0; i < n; i++) { dst[i] = src[i]; } + DANGER_OVER(); + /* RETURN_ALWAYS(ARGUMENT(s1)); */ |