1116 #define strncasecmp BUILTIN(strncasecmp)  macro
1117 int strncasecmp(const char *s1, const char *s2, size_t n);
1122   clang_analyzer_eval(strncasecmp(x, y, 2) > 0); // expected-warning{{TRUE}}  in strncasecmp_check_modelling()
1123   clang_analyzer_eval(strncasecmp(x, y, 2) <= 0); // expected-warning{{FALSE}}  in strncasecmp_check_modelling()
1124   clang_analyzer_eval(strncasecmp(x, y, 2) > 1); // expected-warning{{UNKNOWN}}  in strncasecmp_check_modelling()
1126   clang_analyzer_eval(strncasecmp(y, x, 2) < 0); // expected-warning{{TRUE}}  in strncasecmp_check_modelling()
1127   clang_analyzer_eval(strncasecmp(y, x, 2) >= 0); // expected-warning{{FALSE}}  in strncasecmp_check_modelling()
1128   clang_analyzer_eval(strncasecmp(y, x, 2) < -1); // expected-warning{{UNKNOWN}}  in strncasecmp_check_modelling()
1132   clang_analyzer_eval(strncasecmp("abc", "Abc", 3) == 0); // expected-warning{{TRUE}}  in strncasecmp_constant0()
1137   clang_analyzer_eval(strncasecmp(x, "Abc", 3) == 0); // expected-warning{{TRUE}}  in strncasecmp_constant_and_var_0()
1142   clang_analyzer_eval(strncasecmp("Abc", x, 3) == 0); // expected-warning{{TRUE}}  in strncasecmp_constant_and_var_1()
1148   clang_analyzer_eval(strncasecmp(x, y, 3) == 0); // expected-warning{{TRUE}}  in strncasecmp_0()
1154   clang_analyzer_eval(strncasecmp(x, y, 3) > 0); // expected-warning{{TRUE}}  in strncasecmp_1()
1160   clang_analyzer_eval(strncasecmp(x, y, 3) < 0); // expected-warning{{TRUE}}  in strncasecmp_2()
1166 …strncasecmp(x, y, 3); // expected-warning{{Null pointer passed as 1st argument to string compariso…  in strncasecmp_null_0()
1172 …strncasecmp(x, y, 3); // expected-warning{{Null pointer passed as 2nd argument to string compariso…  in strncasecmp_null_1()
1178   clang_analyzer_eval(strncasecmp(x, y, 5) < 0); // expected-warning{{TRUE}}  in strncasecmp_diff_length_0()
1184   clang_analyzer_eval(strncasecmp(x, y, 5) < 0); // expected-warning{{TRUE}}  in strncasecmp_diff_length_1()
1190   clang_analyzer_eval(strncasecmp(x, y, 5) > 0); // expected-warning{{TRUE}}  in strncasecmp_diff_length_2()
1196   clang_analyzer_eval(strncasecmp(x, y, 5) < 0); // expected-warning{{TRUE}}  in strncasecmp_diff_length_3()
1202   clang_analyzer_eval(strncasecmp(x, y, 3) == 0); // expected-warning{{TRUE}}  in strncasecmp_diff_length_4()
1208   clang_analyzer_eval(strncasecmp(x, y, 3) < 0); // expected-warning{{TRUE}}  in strncasecmp_diff_length_5()
1214   clang_analyzer_eval(strncasecmp(x, y, 3) > 0); // expected-warning{{TRUE}}  in strncasecmp_diff_length_6()
1218 	clang_analyzer_eval(strncasecmp("ab\0zz", "ab\0yy", 4) == 0); // expected-warning{{TRUE}}  in strncasecmp_embedded_null()
1224 …return strncasecmp(a, b, n); // expected-warning{{Null pointer passed as 2nd argument to string co…  in strncasecmp_null_argument()