bstring.c | 50 char src[] = {1, 2, 3, 4}; local 53 memcpy(dst, src, 4); // no-warning 55 if (memcpy(dst, src, 4) != dst) { 64 char src[] = {1, 2, 3, 4}; local 67 memcpy(dst, src, 5); // expected-warning{{Memory copy function accesses out-of-bound array element}} 71 char src[] = {1, 2, 3, 4}; local 74 memcpy(dst, src, 4); // expected-warning{{Memory copy function overflows destination buffer}} 78 char src[] = {1, 2, 3, 4}; local 81 memcpy(dst+1, src+2, 2); // no-warning 85 char src[] = {1, 2, 3, 4} local 92 char src[] = {1, 2, 3, 4}; local 172 char src[] = {1, 2, 3, 4}; local 186 char src[] = {1, 2, 3, 4}; local 193 char src[] = {1, 2, 3, 4}; local 200 char src[] = {1, 2, 3, 4}; local 207 char src[] = {1, 2, 3, 4}; local 214 char src[] = {1, 2, 3, 4}; local 293 char src[] = {1, 2, 3, 4}; local 307 char src[] = {1, 2, 3, 4}; local 314 char src[] = {1, 2, 3, 4}; local 409 char src[] = {1, 2, 3, 4}; local 419 char src[] = {1, 2, 3, 4}; local 426 char src[] = {1, 2, 3, 4}; local [all...] |