904 #define strncmp BUILTIN(strncmp)  macro
905 int strncmp(const char *s1, const char *s2, size_t n);
910   clang_analyzer_eval(strncmp(x, y, 2) > 0); // expected-warning{{TRUE}}  in strncmp_check_modelling()
911   clang_analyzer_eval(strncmp(x, y, 2) <= 0); // expected-warning{{FALSE}}  in strncmp_check_modelling()
912   clang_analyzer_eval(strncmp(x, y, 2) > 1); // expected-warning{{UNKNOWN}}  in strncmp_check_modelling()
914   clang_analyzer_eval(strncmp(y, x, 2) < 0); // expected-warning{{TRUE}}  in strncmp_check_modelling()
915   clang_analyzer_eval(strncmp(y, x, 2) >= 0); // expected-warning{{FALSE}}  in strncmp_check_modelling()
916   clang_analyzer_eval(strncmp(y, x, 2) < -1); // expected-warning{{UNKNOWN}}  in strncmp_check_modelling()
920   clang_analyzer_eval(strncmp("123", "123", 3) == 0); // expected-warning{{TRUE}}  in strncmp_constant0()
925   clang_analyzer_eval(strncmp(x, "123", 3) == 0); // expected-warning{{TRUE}}  in strncmp_constant_and_var_0()
930   clang_analyzer_eval(strncmp("123", x, 3) == 0); // expected-warning{{TRUE}}  in strncmp_constant_and_var_1()
936   clang_analyzer_eval(strncmp(x, y, 3) == 0); // expected-warning{{TRUE}}  in strncmp_0()
942   clang_analyzer_eval(strncmp(x, y, 3) > 0); // expected-warning{{TRUE}}  in strncmp_1()
948   clang_analyzer_eval(strncmp(x, y, 3) < 0); // expected-warning{{TRUE}}  in strncmp_2()
954 …strncmp(x, y, 3); // expected-warning{{Null pointer passed as 1st argument to string comparison fu…  in strncmp_null_0()
960 …strncmp(x, y, 3); // expected-warning{{Null pointer passed as 2nd argument to string comparison fu…  in strncmp_null_1()
966   clang_analyzer_eval(strncmp(x, y, 5) < 0); // expected-warning{{TRUE}}  in strncmp_diff_length_0()
972   clang_analyzer_eval(strncmp(x, y, 5) < 0); // expected-warning{{TRUE}}  in strncmp_diff_length_1()
978   clang_analyzer_eval(strncmp(x, y, 5) > 0); // expected-warning{{TRUE}}  in strncmp_diff_length_2()
984   clang_analyzer_eval(strncmp(x, y, 5) < 0); // expected-warning{{TRUE}}  in strncmp_diff_length_3()
990   clang_analyzer_eval(strncmp(x, y, 3) == 0); // expected-warning{{TRUE}}  in strncmp_diff_length_4()
996   clang_analyzer_eval(strncmp(x, y, 3) < 0); // expected-warning{{TRUE}}  in strncmp_diff_length_5()
1002   clang_analyzer_eval(strncmp(x, y, 3) > 0); // expected-warning{{TRUE}}  in strncmp_diff_length_6()
1006 	clang_analyzer_eval(strncmp("ab\0zz", "ab\0yy", 4) == 0); // expected-warning{{TRUE}}  in strncmp_embedded_null()
1012 …return strncmp(a, b, n); // expected-warning{{Null pointer passed as 2nd argument to string compar…  in strncmp_null_argument()