diff options
| author | Jakob Kaivo <jkk@ung.org> | 2024-01-31 13:24:56 -0500 |
|---|---|---|
| committer | Jakob Kaivo <jkk@ung.org> | 2024-01-31 13:24:56 -0500 |
| commit | 4b43b375b7abae22070cd86bfc26a8222233150e (patch) | |
| tree | 6ff165b17879e80300cb6d05b5537a65c82c2dc7 /src/string/strtok.c | |
| parent | ab3c589cd14c2b7efd79c89fd75ea35edcf9edff (diff) | |
check for overlapping pointers
Diffstat (limited to 'src/string/strtok.c')
| -rw-r--r-- | src/string/strtok.c | 1 |
1 files changed, 1 insertions, 0 deletions
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); |