51   char dst[4] = {0};  in memcpy0()  local
53   memcpy(dst, src, 4); // no-warning  in memcpy0()
55   if (memcpy(dst, src, 4) != dst) {  in memcpy0()
59   if (dst[0] != 0)  in memcpy0()
65   char dst[10];  in memcpy1()  local
67 …memcpy(dst, src, 5); // expected-warning{{Memory copy function accesses out-of-bound array element…  in memcpy1()
72   char dst[1];  in memcpy2()  local
74   memcpy(dst, src, 4); // expected-warning{{Memory copy function overflows destination buffer}}  in memcpy2()
79   char dst[3];  in memcpy3()  local
81   memcpy(dst+1, src+2, 2); // no-warning  in memcpy3()
86   char dst[10];  in memcpy4()  local
88 …memcpy(dst+2, src+2, 3); // expected-warning{{Memory copy function accesses out-of-bound array ele…  in memcpy4()
93   char dst[3];  in memcpy5()  local
95   memcpy(dst+2, src+2, 2); // expected-warning{{Memory copy function overflows destination buffer}}  in memcpy5()
173   char dst[5] = {0};  in mempcpy0()  local
175   mempcpy(dst, src, 4); // no-warning  in mempcpy0()
177   if (mempcpy(dst, src, 4) != &dst[4]) {  in mempcpy0()
181   if (dst[0] != 0)  in mempcpy0()
187   char dst[10];  in mempcpy1()  local
189 …mempcpy(dst, src, 5); // expected-warning{{Memory copy function accesses out-of-bound array elemen…  in mempcpy1()
194   char dst[1];  in mempcpy2()  local
196   mempcpy(dst, src, 4); // expected-warning{{Memory copy function overflows destination buffer}}  in mempcpy2()
201   char dst[3];  in mempcpy3()  local
203   mempcpy(dst+1, src+2, 2); // no-warning  in mempcpy3()
208   char dst[10];  in mempcpy4()  local
210 …mempcpy(dst+2, src+2, 3); // expected-warning{{Memory copy function accesses out-of-bound array el…  in mempcpy4()
215   char dst[3];  in mempcpy5()  local
217   mempcpy(dst+2, src+2, 2); // expected-warning{{Memory copy function overflows destination buffer}}  in mempcpy5()
294   char dst[4] = {0};  in memmove0()  local
296   memmove(dst, src, 4); // no-warning  in memmove0()
298   if (memmove(dst, src, 4) != dst) {  in memmove0()
302   if (dst[0] != 0)  in memmove0()
308   char dst[10];  in memmove1()  local
310   memmove(dst, src, 5); // expected-warning{{out-of-bound}}  in memmove1()
315   char dst[1];  in memmove2()  local
317   memmove(dst, src, 4); // expected-warning{{overflow}}  in memmove2()
410   char dst[4] = {0};  in bcopy0()  local
412   bcopy(src, dst, 4); // no-warning  in bcopy0()
414   if (dst[0] != 0)  in bcopy0()
420   char dst[10];  in bcopy1()  local
422   bcopy(src, dst, 5); // expected-warning{{out-of-bound}}  in bcopy1()
427   char dst[1];  in bcopy2()  local
429   bcopy(src, dst, 4); // expected-warning{{overflow}}  in bcopy2()