989 #define strncasecmp BUILTIN(strncasecmp)  macro
990 int strncasecmp(const char *s1, const char *s2, size_t n);
995   clang_analyzer_eval(strncasecmp(x, y, 2) > 0); // expected-warning{{TRUE}}  in strncasecmp_check_modelling()
996   clang_analyzer_eval(strncasecmp(x, y, 2) <= 0); // expected-warning{{FALSE}}  in strncasecmp_check_modelling()
997   clang_analyzer_eval(strncasecmp(x, y, 2) > 1); // expected-warning{{UNKNOWN}}  in strncasecmp_check_modelling()
999   clang_analyzer_eval(strncasecmp(y, x, 2) < 0); // expected-warning{{TRUE}}  in strncasecmp_check_modelling()
1000   clang_analyzer_eval(strncasecmp(y, x, 2) >= 0); // expected-warning{{FALSE}}  in strncasecmp_check_modelling()
1001   clang_analyzer_eval(strncasecmp(y, x, 2) < -1); // expected-warning{{UNKNOWN}}  in strncasecmp_check_modelling()
1005   clang_analyzer_eval(strncasecmp("abc", "Abc", 3) == 0); // expected-warning{{TRUE}}  in strncasecmp_constant0()
1010   clang_analyzer_eval(strncasecmp(x, "Abc", 3) == 0); // expected-warning{{TRUE}}  in strncasecmp_constant_and_var_0()
1015   clang_analyzer_eval(strncasecmp("Abc", x, 3) == 0); // expected-warning{{TRUE}}  in strncasecmp_constant_and_var_1()
1021   clang_analyzer_eval(strncasecmp(x, y, 3) == 0); // expected-warning{{TRUE}}  in strncasecmp_0()
1027   clang_analyzer_eval(strncasecmp(x, y, 3) > 0); // expected-warning{{TRUE}}  in strncasecmp_1()
1033   clang_analyzer_eval(strncasecmp(x, y, 3) < 0); // expected-warning{{TRUE}}  in strncasecmp_2()
1039 …strncasecmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison func…  in strncasecmp_null_0()
1045 …strncasecmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison func…  in strncasecmp_null_1()
1051   clang_analyzer_eval(strncasecmp(x, y, 5) < 0); // expected-warning{{TRUE}}  in strncasecmp_diff_length_0()
1057   clang_analyzer_eval(strncasecmp(x, y, 5) < 0); // expected-warning{{TRUE}}  in strncasecmp_diff_length_1()
1063   clang_analyzer_eval(strncasecmp(x, y, 5) > 0); // expected-warning{{TRUE}}  in strncasecmp_diff_length_2()
1069   clang_analyzer_eval(strncasecmp(x, y, 5) < 0); // expected-warning{{TRUE}}  in strncasecmp_diff_length_3()
1075   clang_analyzer_eval(strncasecmp(x, y, 3) == 0); // expected-warning{{TRUE}}  in strncasecmp_diff_length_4()
1081   clang_analyzer_eval(strncasecmp(x, y, 3) < 0); // expected-warning{{TRUE}}  in strncasecmp_diff_length_5()
1087   clang_analyzer_eval(strncasecmp(x, y, 3) > 0); // expected-warning{{TRUE}}  in strncasecmp_diff_length_6()
1091 	clang_analyzer_eval(strncasecmp("ab\0zz", "ab\0yy", 4) == 0); // expected-warning{{TRUE}}  in strncasecmp_embedded_null()