430 #define strcat(a,b) __strcat_chk(a,b,(size_t)-1)  macro
434 #define strcat BUILTIN(strcat)  macro
435 char *strcat(char *restrict s1, const char *restrict s2);
441 …strcat(NULL, x); // expected-warning{{Null pointer passed as 1st argument to string concatenation …  in strcat_null_dst()
445 …strcat(x, NULL); // expected-warning{{Null pointer passed as 2nd argument to string concatenation …  in strcat_null_src()
449 …strcat(x, (char*)&strcat_fn); // expected-warning{{Argument to string concatenation function is th…  in strcat_fn()
460   clang_analyzer_eval(strcat(x, y) == x); // expected-warning{{TRUE}}  in strcat_effects()
468 …strcat(x, y); // expected-warning{{String concatenation function overflows the destination buffer}}  in strcat_overflow_0()
474 …strcat(x, y); // expected-warning{{String concatenation function overflows the destination buffer}}  in strcat_overflow_1()
480 …strcat(x, y); // expected-warning{{String concatenation function overflows the destination buffer}}  in strcat_overflow_2()
487     strcat(x, y); // no-warning  in strcat_no_overflow()
491 	strcat(dst, "1234");  in strcat_symbolic_dst_length()
497   strcat(dst, "1234");  in strcat_symbolic_dst_length_taint()
503 	strcat(dst, &src[offset]);  in strcat_unknown_src_length()
516 	strcat(dst, src);  in strcat_too_big()
1542 	strcat(dst, src);  in strcat_symbolic_src_length()