bstring.c | 52 char src[] = {1, 2, 3, 4}; local 55 memcpy(dst, src, 4); // no-warning 57 clang_analyzer_eval(memcpy(dst, src, 4) == dst); // expected-warning{{TRUE}} 65 char src[] = {1, 2, 3, 4}; local 68 memcpy(dst, src, 5); // expected-warning{{Memory copy function accesses out-of-bound array element}} 72 char src[] = {1, 2, 3, 4}; local 75 memcpy(dst, src, 4); // expected-warning{{Memory copy function overflows destination buffer}} 79 char src[] = {1, 2, 3, 4}; local 82 memcpy(dst+1, src+2, 2); // no-warning 86 char src[] = {1, 2, 3, 4} local 93 char src[] = {1, 2, 3, 4}; local 172 char src[] = {1, 2, 3, 4}; local 185 char src[] = {1, 2, 3, 4}; local 192 char src[] = {1, 2, 3, 4}; local 199 char src[] = {1, 2, 3, 4}; local 206 char src[] = {1, 2, 3, 4}; local 213 char src[] = {1, 2, 3, 4}; local 292 char src[] = {1, 2, 3, 4}; local 305 char src[] = {1, 2, 3, 4}; local 312 char src[] = {1, 2, 3, 4}; local 405 char src[] = {1, 2, 3, 4}; local 416 char src[] = {1, 2, 3, 4}; local 423 char src[] = {1, 2, 3, 4}; local [all...] |