diff options
| author | Anton Kling <anton@kling.gg> | 2024-12-15 19:20:04 +0100 |
|---|---|---|
| committer | Anton Kling <anton@kling.gg> | 2024-12-15 19:21:46 +0100 |
| commit | 3f8324fde2128c3308f957891262d3372fb57ebf (patch) | |
| tree | d1a7d3322b933c9b50fcae1c82050cda56591c1b | |
| parent | 2f13c181e4cd760b793ff338f16253d3cd29a277 (diff) | |
libc: Fix undefined behavior for non positive VLA
Apparently a VLA of zero size is undefined behavior.
| -rw-r--r-- | kernel/libc/string/memmove.c | 3 | ||||
| -rw-r--r-- | userland/libc/string/memmove.c | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/kernel/libc/string/memmove.c b/kernel/libc/string/memmove.c index 5fc49f7..3446643 100644 --- a/kernel/libc/string/memmove.c +++ b/kernel/libc/string/memmove.c @@ -3,6 +3,9 @@ // copy bytes in memory with overlapping areas // https://pubs.opengroup.org/onlinepubs/9699919799/functions/memmove.html void *memmove(void *s1, const void *s2, size_t n) { + if(0 == n) { + return s1; + } // Copying takes place as if the n bytes from the object pointed to by s2 are // first copied into a temporary array of n bytes that does not overlap the // objects pointed to by s1 and s2, and then the n bytes from the temporary diff --git a/userland/libc/string/memmove.c b/userland/libc/string/memmove.c index 5fc49f7..d7da375 100644 --- a/userland/libc/string/memmove.c +++ b/userland/libc/string/memmove.c @@ -3,6 +3,9 @@ // copy bytes in memory with overlapping areas // https://pubs.opengroup.org/onlinepubs/9699919799/functions/memmove.html void *memmove(void *s1, const void *s2, size_t n) { + if (0 == n) { + return s1; + } // Copying takes place as if the n bytes from the object pointed to by s2 are // first copied into a temporary array of n bytes that does not overlap the // objects pointed to by s1 and s2, and then the n bytes from the temporary |