1019 #define strcasecmp BUILTIN(strcasecmp)  macro
1020 int strcasecmp(const char *s1, const char *s2);
1025   clang_analyzer_eval(strcasecmp(x, y) > 0); // expected-warning{{TRUE}}  in strcasecmp_check_modelling()
1026   clang_analyzer_eval(strcasecmp(x, y) <= 0); // expected-warning{{FALSE}}  in strcasecmp_check_modelling()
1027   clang_analyzer_eval(strcasecmp(x, y) > 1); // expected-warning{{UNKNOWN}}  in strcasecmp_check_modelling()
1029   clang_analyzer_eval(strcasecmp(y, x) < 0); // expected-warning{{TRUE}}  in strcasecmp_check_modelling()
1030   clang_analyzer_eval(strcasecmp(y, x) >= 0); // expected-warning{{FALSE}}  in strcasecmp_check_modelling()
1031   clang_analyzer_eval(strcasecmp(y, x) < -1); // expected-warning{{UNKNOWN}}  in strcasecmp_check_modelling()
1035   clang_analyzer_eval(strcasecmp("abc", "Abc") == 0); // expected-warning{{TRUE}}  in strcasecmp_constant0()
1040   clang_analyzer_eval(strcasecmp(x, "Abc") == 0); // expected-warning{{TRUE}}  in strcasecmp_constant_and_var_0()
1045   clang_analyzer_eval(strcasecmp("Abc", x) == 0); // expected-warning{{TRUE}}  in strcasecmp_constant_and_var_1()
1051   clang_analyzer_eval(strcasecmp(x, y) == 0); // expected-warning{{TRUE}}  in strcasecmp_0()
1057   clang_analyzer_eval(strcasecmp(x, y) > 0); // expected-warning{{TRUE}}  in strcasecmp_1()
1063   clang_analyzer_eval(strcasecmp(x, y) < 0); // expected-warning{{TRUE}}  in strcasecmp_2()
1069 …strcasecmp(x, y); // expected-warning{{Null pointer passed as 1st argument to string comparison fu…  in strcasecmp_null_0()
1075 …strcasecmp(x, y); // expected-warning{{Null pointer passed as 2nd argument to string comparison fu…  in strcasecmp_null_1()
1081   clang_analyzer_eval(strcasecmp(x, y) < 0); // expected-warning{{TRUE}}  in strcasecmp_diff_length_0()
1087   clang_analyzer_eval(strcasecmp(x, y) < 0); // expected-warning{{TRUE}}  in strcasecmp_diff_length_1()
1093   clang_analyzer_eval(strcasecmp(x, y) > 0); // expected-warning{{TRUE}}  in strcasecmp_diff_length_2()
1099   clang_analyzer_eval(strcasecmp(x, y) < 0); // expected-warning{{TRUE}}  in strcasecmp_diff_length_3()
1103 	clang_analyzer_eval(strcasecmp("ab\0zz", "ab\0yy") == 0); // expected-warning{{TRUE}}  in strcasecmp_embedded_null()
1109 …return strcasecmp(a, b); // expected-warning{{Null pointer passed as 2nd argument to string compar…  in strcasecmp_null_argument()