858 #define strcasecmp BUILTIN(strcasecmp)  macro
859 int strcasecmp(const char *s1, const char *s2);
862   clang_analyzer_eval(strcasecmp("abc", "Abc") == 0); // expected-warning{{TRUE}}  in strcasecmp_constant0()
867   clang_analyzer_eval(strcasecmp(x, "Abc") == 0); // expected-warning{{TRUE}}  in strcasecmp_constant_and_var_0()
872   clang_analyzer_eval(strcasecmp("Abc", x) == 0); // expected-warning{{TRUE}}  in strcasecmp_constant_and_var_1()
878   clang_analyzer_eval(strcasecmp(x, y) == 0); // expected-warning{{TRUE}}  in strcasecmp_0()
884   clang_analyzer_eval(strcasecmp(x, y) == 1); // expected-warning{{TRUE}}  in strcasecmp_1()
890   clang_analyzer_eval(strcasecmp(x, y) == -1); // expected-warning{{TRUE}}  in strcasecmp_2()
896 …strcasecmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function…  in strcasecmp_null_0()
902 …strcasecmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function…  in strcasecmp_null_1()
908   clang_analyzer_eval(strcasecmp(x, y) == -1); // expected-warning{{TRUE}}  in strcasecmp_diff_length_0()
914   clang_analyzer_eval(strcasecmp(x, y) == -1); // expected-warning{{TRUE}}  in strcasecmp_diff_length_1()
920   clang_analyzer_eval(strcasecmp(x, y) == 1); // expected-warning{{TRUE}}  in strcasecmp_diff_length_2()
926   clang_analyzer_eval(strcasecmp(x, y) == -1); // expected-warning{{TRUE}}  in strcasecmp_diff_length_3()
930 	clang_analyzer_eval(strcasecmp("ab\0zz", "ab\0yy") == 0); // expected-warning{{TRUE}}  in strcasecmp_embedded_null()