194 #define mempcpy(a,b,c) __mempcpy_chk(a,b,c,(size_t)-1)  macro
198 #define mempcpy BUILTIN(mempcpy)  macro
199 void *mempcpy(void *restrict s1, const void *restrict s2, size_t n);
208   mempcpy(dst, src, 4); // no-warning  in mempcpy0()
210   clang_analyzer_eval(mempcpy(dst, src, 4) == &dst[4]); // expected-warning{{TRUE}}  in mempcpy0()
221 …mempcpy(dst, src, 5); // expected-warning{{Memory copy function accesses out-of-bound array elemen…  in mempcpy1()
228   mempcpy(dst, src, 4); // expected-warning{{Memory copy function overflows the destination buffer}}  in mempcpy2()
238   mempcpy(dst+1, src+2, 2); // no-warning  in mempcpy3()
245 …mempcpy(dst+2, src+2, 3); // expected-warning{{Memory copy function accesses out-of-bound array el…  in mempcpy4()
252 …mempcpy(dst + 2, src + 2, 2); // expected-warning{{Memory copy function overflows the destination …  in mempcpy5()
260   mempcpy(a, a, 8); // expected-warning{{overlapping}}    in mempcpy6()
265   mempcpy(a+2, a+1, 8); // expected-warning{{overlapping}}  in mempcpy7()
270   mempcpy(a+1, a+2, 8); // expected-warning{{overlapping}}  in mempcpy8()
275   mempcpy(a+2, a+1, 4); // no-warning  in mempcpy9()
276   mempcpy(a+1, a+2, 4); // no-warning  in mempcpy9()
281 …mempcpy(0, a, 4); // expected-warning{{Null pointer passed as 1st argument to memory copy function…  in mempcpy10()
286 …mempcpy(a, 0, 4); // expected-warning{{Null pointer passed as 2nd argument to memory copy function…  in mempcpy11()
291   mempcpy(0, a, 0); // no-warning  in mempcpy12()
296   mempcpy(a, 0, 0); // no-warning  in mempcpy13()
304   p = mempcpy(dst, src, 4 * sizeof(int));  in mempcpy14()
321   p2 = mempcpy(&s2, &s1, sizeof(struct st));  in mempcpy15()
333   p2 = mempcpy(&s2[0], &s1[0], 5 * sizeof(struct st));  in mempcpy16()
340 …void *result = mempcpy(a, 0, n); // expected-warning{{Null pointer passed as 2nd argument to memor…  in mempcpy_unknown_size_warn()
347   mempcpy(a, src, (size_t)n);  in mempcpy_unknownable_size()