From 4f29706128f3d3a66f0503d07c4960d4021aaf27 Mon Sep 17 00:00:00 2001 From: Jakob Kaivo Date: Tue, 11 Jun 2024 13:44:21 -0400 Subject: support watching for dangerous parameter access --- src/string/memcpy.c | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/string/memcpy.c') 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)); */ -- cgit v1.2.1