41 #define memcpy(a,b,c) __memcpy_chk(a,b,c,(size_t)-1)  macro
45 #define memcpy BUILTIN(memcpy)  macro
46 void *memcpy(void *restrict s1, const void *restrict s2, size_t n);
55   memcpy(dst, src, 4); // no-warning  in memcpy0()
57   clang_analyzer_eval(memcpy(dst, src, 4) == dst); // expected-warning{{TRUE}}  in memcpy0()
68 …memcpy(dst, src, 5); // expected-warning{{Memory copy function accesses out-of-bound array element…  in memcpy1()
75   memcpy(dst, src, 4); // expected-warning{{Memory copy function overflows destination buffer}}  in memcpy2()
82   memcpy(dst+1, src+2, 2); // no-warning  in memcpy3()
89 …memcpy(dst+2, src+2, 3); // expected-warning{{Memory copy function accesses out-of-bound array ele…  in memcpy4()
96   memcpy(dst+2, src+2, 2); // expected-warning{{Memory copy function overflows destination buffer}}  in memcpy5()
101   memcpy(a, a, 8); // expected-warning{{overlapping}}    in memcpy6()
106   memcpy(a+2, a+1, 8); // expected-warning{{overlapping}}  in memcpy7()
111   memcpy(a+1, a+2, 8); // expected-warning{{overlapping}}  in memcpy8()
116   memcpy(a+2, a+1, 4); // no-warning  in memcpy9()
117   memcpy(a+1, a+2, 4); // no-warning  in memcpy9()
122   memcpy(0, a, 4); // expected-warning{{Null pointer argument in call to memory copy function}}  in memcpy10()
127   memcpy(a, 0, 4); // expected-warning{{Null pointer argument in call to memory copy function}}  in memcpy11()
132   memcpy(0, a, 0); // no-warning  in memcpy12()
137   memcpy(a, 0, 0); // no-warning  in memcpy13()
142   clang_analyzer_eval(memcpy(a, b, n) == a); // expected-warning{{TRUE}}  in memcpy_unknown_size()
147 …void *result = memcpy(a, 0, n); // expected-warning{{Null pointer argument in call to memory copy …  in memcpy_unknown_size_warn()
433   memcpy(bytes, input, length);  in radar_11125445_memcopythenlogfirstbyte()