161 #define mempcpy(a,b,c) __mempcpy_chk(a,b,c,(size_t)-1)  macro
165 #define mempcpy BUILTIN(mempcpy)  macro
166 void *mempcpy(void *restrict s1, const void *restrict s2, size_t n);
175   mempcpy(dst, src, 4); // no-warning  in mempcpy0()
177   clang_analyzer_eval(mempcpy(dst, src, 4) == &dst[4]); // expected-warning{{TRUE}}  in mempcpy0()
188 …mempcpy(dst, src, 5); // expected-warning{{Memory copy function accesses out-of-bound array elemen…  in mempcpy1()
195   mempcpy(dst, src, 4); // expected-warning{{Memory copy function overflows destination buffer}}  in mempcpy2()
202   mempcpy(dst+1, src+2, 2); // no-warning  in mempcpy3()
209 …mempcpy(dst+2, src+2, 3); // expected-warning{{Memory copy function accesses out-of-bound array el…  in mempcpy4()
216   mempcpy(dst+2, src+2, 2); // expected-warning{{Memory copy function overflows destination buffer}}  in mempcpy5()
221   mempcpy(a, a, 8); // expected-warning{{overlapping}}    in mempcpy6()
226   mempcpy(a+2, a+1, 8); // expected-warning{{overlapping}}  in mempcpy7()
231   mempcpy(a+1, a+2, 8); // expected-warning{{overlapping}}  in mempcpy8()
236   mempcpy(a+2, a+1, 4); // no-warning  in mempcpy9()
237   mempcpy(a+1, a+2, 4); // no-warning  in mempcpy9()
242   mempcpy(0, a, 4); // expected-warning{{Null pointer argument in call to memory copy function}}  in mempcpy10()
247   mempcpy(a, 0, 4); // expected-warning{{Null pointer argument in call to memory copy function}}  in mempcpy11()
252   mempcpy(0, a, 0); // no-warning  in mempcpy12()
257   mempcpy(a, 0, 0); // no-warning  in mempcpy13()
265   p = mempcpy(dst, src, 4 * sizeof(int));  in mempcpy14()
282   p2 = mempcpy(&s2, &s1, sizeof(struct st));  in mempcpy15()
294   p2 = mempcpy(&s2[0], &s1[0], 5 * sizeof(struct st));  in mempcpy16()
301 …void *result = mempcpy(a, 0, n); // expected-warning{{Null pointer argument in call to memory copy…  in mempcpy_unknown_size_warn()
308   mempcpy(a, src, (size_t)n);  in mempcpy_unknownable_size()