Home | History | Annotate | Download | only in Analysis

Lines Matching defs:strncmp

786 // strncmp()
789 #define strncmp BUILTIN(strncmp)
790 int strncmp(const char *s1, const char *s2, size_t n);
795 clang_analyzer_eval(strncmp(x, y, 2) > 0); // expected-warning{{TRUE}}
796 clang_analyzer_eval(strncmp(x, y, 2) <= 0); // expected-warning{{FALSE}}
797 clang_analyzer_eval(strncmp(x, y, 2) > 1); // expected-warning{{UNKNOWN}}
799 clang_analyzer_eval(strncmp(y, x, 2) < 0); // expected-warning{{TRUE}}
800 clang_analyzer_eval(strncmp(y, x, 2) >= 0); // expected-warning{{FALSE}}
801 clang_analyzer_eval(strncmp(y, x, 2) < -1); // expected-warning{{UNKNOWN}}
805 clang_analyzer_eval(strncmp("123", "123", 3) == 0); // expected-warning{{TRUE}}
810 clang_analyzer_eval(strncmp(x, "123", 3) == 0); // expected-warning{{TRUE}}
815 clang_analyzer_eval(strncmp("123", x, 3) == 0); // expected-warning{{TRUE}}
821 clang_analyzer_eval(strncmp(x, y, 3) == 0); // expected-warning{{TRUE}}
827 clang_analyzer_eval(strncmp(x, y, 3) > 0); // expected-warning{{TRUE}}
833 clang_analyzer_eval(strncmp(x, y, 3) < 0); // expected-warning{{TRUE}}
839 strncmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison function}}
845 strncmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison function}}
851 clang_analyzer_eval(strncmp(x, y, 5) < 0); // expected-warning{{TRUE}}
857 clang_analyzer_eval(strncmp(x, y, 5) < 0); // expected-warning{{TRUE}}
863 clang_analyzer_eval(strncmp(x, y, 5) > 0); // expected-warning{{TRUE}}
869 clang_analyzer_eval(strncmp(x, y, 5) < 0); // expected-warning{{TRUE}}
875 clang_analyzer_eval(strncmp(x, y, 3) == 0); // expected-warning{{TRUE}}
881 clang_analyzer_eval(strncmp(x, y, 3) < 0); // expected-warning{{TRUE}}
887 clang_analyzer_eval(strncmp(x, y, 3) > 0); // expected-warning{{TRUE}}
891 clang_analyzer_eval(strncmp("ab\0zz", "ab\0yy", 4) == 0); // expected-warning{{TRUE}}