939 #define strncasecmp BUILTIN(strncasecmp)  macro
940 int strncasecmp(const char *s1, const char *s2, size_t n);
943   clang_analyzer_eval(strncasecmp("abc", "Abc", 3) == 0); // expected-warning{{TRUE}}  in strncasecmp_constant0()
948   clang_analyzer_eval(strncasecmp(x, "Abc", 3) == 0); // expected-warning{{TRUE}}  in strncasecmp_constant_and_var_0()
953   clang_analyzer_eval(strncasecmp("Abc", x, 3) == 0); // expected-warning{{TRUE}}  in strncasecmp_constant_and_var_1()
959   clang_analyzer_eval(strncasecmp(x, y, 3) == 0); // expected-warning{{TRUE}}  in strncasecmp_0()
965   clang_analyzer_eval(strncasecmp(x, y, 3) == 1); // expected-warning{{TRUE}}  in strncasecmp_1()
971   clang_analyzer_eval(strncasecmp(x, y, 3) == -1); // expected-warning{{TRUE}}  in strncasecmp_2()
977 …strncasecmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison func…  in strncasecmp_null_0()
983 …strncasecmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison func…  in strncasecmp_null_1()
989   clang_analyzer_eval(strncasecmp(x, y, 5) == -1); // expected-warning{{TRUE}}  in strncasecmp_diff_length_0()
995   clang_analyzer_eval(strncasecmp(x, y, 5) == -1); // expected-warning{{TRUE}}  in strncasecmp_diff_length_1()
1001   clang_analyzer_eval(strncasecmp(x, y, 5) == 1); // expected-warning{{TRUE}}  in strncasecmp_diff_length_2()
1007   clang_analyzer_eval(strncasecmp(x, y, 5) == -1); // expected-warning{{TRUE}}  in strncasecmp_diff_length_3()
1013   clang_analyzer_eval(strncasecmp(x, y, 3) == 0); // expected-warning{{TRUE}}  in strncasecmp_diff_length_4()
1019   clang_analyzer_eval(strncasecmp(x, y, 3) == -1); // expected-warning{{TRUE}}  in strncasecmp_diff_length_5()
1025   clang_analyzer_eval(strncasecmp(x, y, 3) == 1); // expected-warning{{TRUE}}  in strncasecmp_diff_length_6()
1029 	clang_analyzer_eval(strncasecmp("ab\0zz", "ab\0yy", 4) == 0); // expected-warning{{TRUE}}  in strncasecmp_embedded_null()