898 #define strcasecmp BUILTIN(strcasecmp)  macro
899 int strcasecmp(const char *s1, const char *s2);
904   clang_analyzer_eval(strcasecmp(x, y) > 0); // expected-warning{{TRUE}}  in strcasecmp_check_modelling()
905   clang_analyzer_eval(strcasecmp(x, y) <= 0); // expected-warning{{FALSE}}  in strcasecmp_check_modelling()
906   clang_analyzer_eval(strcasecmp(x, y) > 1); // expected-warning{{UNKNOWN}}  in strcasecmp_check_modelling()
908   clang_analyzer_eval(strcasecmp(y, x) < 0); // expected-warning{{TRUE}}  in strcasecmp_check_modelling()
909   clang_analyzer_eval(strcasecmp(y, x) >= 0); // expected-warning{{FALSE}}  in strcasecmp_check_modelling()
910   clang_analyzer_eval(strcasecmp(y, x) < -1); // expected-warning{{UNKNOWN}}  in strcasecmp_check_modelling()
914   clang_analyzer_eval(strcasecmp("abc", "Abc") == 0); // expected-warning{{TRUE}}  in strcasecmp_constant0()
919   clang_analyzer_eval(strcasecmp(x, "Abc") == 0); // expected-warning{{TRUE}}  in strcasecmp_constant_and_var_0()
924   clang_analyzer_eval(strcasecmp("Abc", x) == 0); // expected-warning{{TRUE}}  in strcasecmp_constant_and_var_1()
930   clang_analyzer_eval(strcasecmp(x, y) == 0); // expected-warning{{TRUE}}  in strcasecmp_0()
936   clang_analyzer_eval(strcasecmp(x, y) > 0); // expected-warning{{TRUE}}  in strcasecmp_1()
942   clang_analyzer_eval(strcasecmp(x, y) < 0); // expected-warning{{TRUE}}  in strcasecmp_2()
948 …strcasecmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function…  in strcasecmp_null_0()
954 …strcasecmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function…  in strcasecmp_null_1()
960   clang_analyzer_eval(strcasecmp(x, y) < 0); // expected-warning{{TRUE}}  in strcasecmp_diff_length_0()
966   clang_analyzer_eval(strcasecmp(x, y) < 0); // expected-warning{{TRUE}}  in strcasecmp_diff_length_1()
972   clang_analyzer_eval(strcasecmp(x, y) > 0); // expected-warning{{TRUE}}  in strcasecmp_diff_length_2()
978   clang_analyzer_eval(strcasecmp(x, y) < 0); // expected-warning{{TRUE}}  in strcasecmp_diff_length_3()
982 	clang_analyzer_eval(strcasecmp("ab\0zz", "ab\0yy") == 0); // expected-warning{{TRUE}}  in strcasecmp_embedded_null()