Home | History | Annotate | Download | only in Analysis

Lines Matching refs:dst

53   char dst[4] = {0};
55 memcpy(dst, src, 4); // no-warning
57 clang_analyzer_eval(memcpy(dst, src, 4) == dst); // expected-warning{{TRUE}}
61 clang_analyzer_eval(dst[0] != 0); // expected-warning{{UNKNOWN}}
66 char dst[10];
68 memcpy(dst, src, 5); // expected-warning{{Memory copy function accesses out-of-bound array element}}
73 char dst[1];
75 memcpy(dst, src, 4); // expected-warning{{Memory copy function overflows destination buffer}}
80 char dst[3];
82 memcpy(dst+1, src+2, 2); // no-warning
87 char dst[10];
89 memcpy(dst+2, src+2, 3); // expected-warning{{Memory copy function accesses out-of-bound array element}}
94 char dst[3];
96 memcpy(dst+2, src+2, 2); // expected-warning{{Memory copy function overflows destination buffer}}
173 char dst[5] = {0};
175 mempcpy(dst, src, 4); // no-warning
177 clang_analyzer_eval(mempcpy(dst, src, 4) == &dst[4]); // expected-warning{{TRUE}}
181 clang_analyzer_eval(dst[0] != 0); // expected-warning{{UNKNOWN}}
186 char dst[10];
188 mempcpy(dst, src, 5); // expected-warning{{Memory copy function accesses out-of-bound array element}}
193 char dst[1];
195 mempcpy(dst, src, 4); // expected-warning{{Memory copy function overflows destination buffer}}
200 char dst[3];
202 mempcpy(dst+1, src+2, 2); // no-warning
207 char dst[10];
209 mempcpy(dst+2, src+2, 3); // expected-warning{{Memory copy function accesses out-of-bound array element}}
214 char dst[3];
216 mempcpy(dst+2, src+2, 2); // expected-warning{{Memory copy function overflows destination buffer}}
262 int dst[5] = {0};
265 p = mempcpy(dst, src, 4 * sizeof(int));
267 clang_analyzer_eval(p == &dst[4]); // expected-warning{{TRUE}}
332 char dst[4] = {0};
334 memmove(dst, src, 4); // no-warning
336 clang_analyzer_eval(memmove(dst, src, 4) == dst); // expected-warning{{TRUE}}
340 clang_analyzer_eval(dst[0] != 0); // expected-warning{{UNKNOWN}}
345 char dst[10];
347 memmove(dst, src, 5); // expected-warning{{out-of-bound}}
352 char dst[1];
354 memmove(dst, src, 4); // expected-warning{{overflow}}
445 char dst[4] = {0};
447 bcopy(src, dst, 4); // no-warning
451 clang_analyzer_eval(dst[0] != 0); // expected-warning{{UNKNOWN}}
456 char dst[10];
458 bcopy(src, dst, 5); // expected-warning{{out-of-bound}}
463 char dst[1];
465 bcopy(src, dst, 4); // expected-warning{{overflow}}