blob: 0ceff3870b201c7edcda35aa3b474319c47f6ecd (
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
36
37
38
39
40
41
42
|
#include <string.h>
#include "_safety.h"
/** compare memory regions **/
int memcmp(const void *s1, const void *s2, size_t n)
{
unsigned char *p = (void*)s1;
unsigned char *q = (void*)s2;
size_t i = 0;
SIGNAL_SAFE(0);
ASSERT_NONNULL(s1);
ASSERT_NONNULL(s2);
/* no modifications, so overlap is OK */
/* TODO: TWO dangerous reads */
for (i = 0; i < n; i++) {
if (p[i] != q[i]) {
return p[i] - q[i];
}
}
/*
RETURN(NEGATIVE, ARGUMENT(s1) is less than ARGUMENT(s2));
RETURN(ZERO, ARGUMENT(s1) and ARGUMENT(s2) are equal);
RETURN(POSITIVE(), ARGUMENT(s1) is greater than ARGUMENT(s2));
*/
return 0;
}
CHECK_3(int, 0, memcmp, const void *, const void *, size_t)
/***
compares the first ARGUMENT(n) bytes of memory at ARGUMENT(s1)
and ARGUMENT(s2).
***/
/*
STDC(1)
*/
|
