blob: 43b3c617d1e810c10a385f56c54a6a729142dbd8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
#include <string.h>
#include "_safety.h"
/** count matching characters **/
size_t strspn(const char *s1, const char *s2)
{
size_t i = 0;
SIGNAL_SAFE(0);
ASSERT_NONNULL(s1);
ASSERT_NONNULL(s2);
/* TODO: two dangerous reads */
/* no modification, overlap is OK */
for (i = 0; i < strlen (s1); i++) {
if (strchr(s2, s1[i]) == NULL) {
break;
}
}
return i;
}
CHECK_2(size_t, 0, strspn, const char *, const char *)
/***
computes the length of the maximum initial segment of the ARGUMENT(s1) made
up of characters from ARGUMENT(s2).
***/
/*
RETURN_ALWAYS(the number of matching characters);
STDC(1)
*/
|
