From 4b43b375b7abae22070cd86bfc26a8222233150e Mon Sep 17 00:00:00 2001 From: Jakob Kaivo Date: Wed, 31 Jan 2024 13:24:56 -0500 Subject: check for overlapping pointers --- src/string/strtok.c | 1 + 1 file changed, 1 insertion(+) (limited to 'src/string/strtok.c') diff --git a/src/string/strtok.c b/src/string/strtok.c index 69b7fcc8..c46a9556 100644 --- a/src/string/strtok.c +++ b/src/string/strtok.c @@ -11,6 +11,7 @@ char * strtok(char * restrict s1, const char * restrict s2) /* TODO */ SIGNAL_SAFE(0); ASSERT_NONNULL(s2); + /* nothing is copied, overlap is OK */ /* RETURN(CONSTANT(NULL), there are no further tokens, only token separators); -- cgit v1.2.1