Home | History | Annotate | Download | only in Analysis

Lines Matching refs:mempcpy

152 // mempcpy()
161 #define mempcpy(a,b,c) __mempcpy_chk(a,b,c,(size_t)-1)
165 #define mempcpy BUILTIN(mempcpy)
166 void *mempcpy(void *restrict s1, const void *restrict s2, size_t n);
175 mempcpy(dst, src, 4); // no-warning
177 clang_analyzer_eval(mempcpy(dst, src, 4) == &dst[4]); // expected-warning{{TRUE}}
188 mempcpy(dst, src, 5); // expected-warning{{Memory copy function accesses out-of-bound array element}}
195 mempcpy(dst, src, 4); // expected-warning{{Memory copy function overflows destination buffer}}
202 mempcpy(dst+1, src+2, 2); // no-warning
209 mempcpy(dst+2, src+2, 3); // expected-warning{{Memory copy function accesses out-of-bound array element}}
216 mempcpy(dst+2, src+2, 2); // expected-warning{{Memory copy function overflows destination buffer}}
221 mempcpy(a, a, 8); // expected-warning{{overlapping}}
226 mempcpy(a+2, a+1, 8); // expected-warning{{overlapping}}
231 mempcpy(a+1, a+2, 8); // expected-warning{{overlapping}}
236 mempcpy(a+2, a+1, 4); // no-warning
237 mempcpy(a+1, a+2, 4); // no-warning
242 mempcpy(0, a, 4); // expected-warning{{Null pointer argument in call to memory copy function}}
247 mempcpy(a, 0, 4); // expected-warning{{Null pointer argument in call to memory copy function}}
252 mempcpy(0, a, 0); // no-warning
257 mempcpy(a, 0, 0); // no-warning
262 void *result = mempcpy(a, 0, n); // expected-warning{{Null pointer argument in call to memory copy function}}
269 mempcpy(a, src, (size_t)n);