789 #define strncmp BUILTIN(strncmp)  macro
790 int strncmp(const char *s1, const char *s2, size_t n);
795   clang_analyzer_eval(strncmp(x, y, 2) > 0); // expected-warning{{TRUE}}  in strncmp_check_modelling()
796   clang_analyzer_eval(strncmp(x, y, 2) <= 0); // expected-warning{{FALSE}}  in strncmp_check_modelling()
797   clang_analyzer_eval(strncmp(x, y, 2) > 1); // expected-warning{{UNKNOWN}}  in strncmp_check_modelling()
799   clang_analyzer_eval(strncmp(y, x, 2) < 0); // expected-warning{{TRUE}}  in strncmp_check_modelling()
800   clang_analyzer_eval(strncmp(y, x, 2) >= 0); // expected-warning{{FALSE}}  in strncmp_check_modelling()
801   clang_analyzer_eval(strncmp(y, x, 2) < -1); // expected-warning{{UNKNOWN}}  in strncmp_check_modelling()
805   clang_analyzer_eval(strncmp("123", "123", 3) == 0); // expected-warning{{TRUE}}  in strncmp_constant0()
810   clang_analyzer_eval(strncmp(x, "123", 3) == 0); // expected-warning{{TRUE}}  in strncmp_constant_and_var_0()
815   clang_analyzer_eval(strncmp("123", x, 3) == 0); // expected-warning{{TRUE}}  in strncmp_constant_and_var_1()
821   clang_analyzer_eval(strncmp(x, y, 3) == 0); // expected-warning{{TRUE}}  in strncmp_0()
827   clang_analyzer_eval(strncmp(x, y, 3) > 0); // expected-warning{{TRUE}}  in strncmp_1()
833   clang_analyzer_eval(strncmp(x, y, 3) < 0); // expected-warning{{TRUE}}  in strncmp_2()
839 …strncmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison function…  in strncmp_null_0()
845 …strncmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison function…  in strncmp_null_1()
851   clang_analyzer_eval(strncmp(x, y, 5) < 0); // expected-warning{{TRUE}}  in strncmp_diff_length_0()
857   clang_analyzer_eval(strncmp(x, y, 5) < 0); // expected-warning{{TRUE}}  in strncmp_diff_length_1()
863   clang_analyzer_eval(strncmp(x, y, 5) > 0); // expected-warning{{TRUE}}  in strncmp_diff_length_2()
869   clang_analyzer_eval(strncmp(x, y, 5) < 0); // expected-warning{{TRUE}}  in strncmp_diff_length_3()
875   clang_analyzer_eval(strncmp(x, y, 3) == 0); // expected-warning{{TRUE}}  in strncmp_diff_length_4()
881   clang_analyzer_eval(strncmp(x, y, 3) < 0); // expected-warning{{TRUE}}  in strncmp_diff_length_5()
887   clang_analyzer_eval(strncmp(x, y, 3) > 0); // expected-warning{{TRUE}}  in strncmp_diff_length_6()
891 	clang_analyzer_eval(strncmp("ab\0zz", "ab\0yy", 4) == 0); // expected-warning{{TRUE}}  in strncmp_embedded_null()