Lines Matching defs:strlen
77 // strlen()
80 #define strlen BUILTIN(strlen)
81 size_t strlen(const char *s);
84 clang_analyzer_eval(strlen("123") == 3); // expected-warning{{TRUE}}
89 clang_analyzer_eval(strlen(a) == 3); // expected-warning{{TRUE}}
94 clang_analyzer_eval(strlen(a) == 3); // expected-warning{{TRUE}}
97 clang_analyzer_eval(strlen(a) == 3); // expected-warning{{UNKNOWN}}
107 clang_analyzer_eval(strlen(global_str_ptr) == 4); // expected-warning{{TRUE}}
111 clang_analyzer_eval(strlen(global_str_arr) == 4); // expected-warning{{TRUE}}
115 clang_analyzer_eval(strlen(global_non_const_ptr1) == 3); // expected-warning{{UNKNOWN}}
116 clang_analyzer_eval(strlen(global_non_const_ptr2) == 3); // expected-warning{{UNKNOWN}}
120 clang_analyzer_eval(strlen(global_non_const_arr) == 2); // expected-warning{{UNKNOWN}}
124 return strlen(0); // expected-warning{{Null pointer passed as 1st argument to string length function}}
128 return strlen((char*)&strlen_fn); // expected-warning{{Argument to string length function is the address of the function 'strlen_fn', which is not a null-terminated string}}
133 return strlen((char*)&&label); // expected-warning{{Argument to string length function is the address of the label 'label', which is not a null-terminated string}}
143 size_t a = strlen(z.a);
145 size_t b = strlen(z.a);
151 size_t c = strlen(z.a);
158 size_t a = strlen(x);
159 size_t b = strlen(x);
165 size_t c = strlen(x);
172 size_t a = strlen(global_str);
173 size_t b = strlen(global_str);
177 clang_analyzer_eval(strlen(global_str) == 0); // expected-warning{{TRUE}}
183 size_t c = strlen(global_str);
189 size_t a = strlen(x);
192 size_t b = strlen(x);
199 size_t c = strlen(x);
205 size_t a = strlen(x);
211 size_t c = strlen(x);
217 if (strlen(x) < 5)
219 clang_analyzer_eval(strlen(x) < 5); // expected-warning{{FALSE}}
224 return strlen(str);
307 clang_analyzer_eval(strnlen(x, 10) == strlen(x)); // expected-warning{{UNKNOWN}}
375 clang_analyzer_eval(strlen(x) == strlen(y)); // expected-warning{{TRUE}}
383 if (strlen(y) == 4)
390 if (strlen(y) == 3)
430 clang_analyzer_eval(stpcpy(x, y) == &x[strlen(y)]); // expected-warning{{TRUE}}
431 clang_analyzer_eval(strlen(x) == strlen(y)); // expected-warning{{TRUE}}
438 if (strlen(y) == 4)
445 if (strlen(y) == 3)
496 size_t orig_len = strlen(x);
499 if (strlen(y) != 4)
503 clang_analyzer_eval((int)strlen(x) == (orig_len + strlen(y))); // expected-warning{{TRUE}}
509 if (strlen(y) == 4)
515 if (strlen(y) == 3)
521 if (strlen(y) == 2)
528 if (strlen(y) == 2)
534 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}}
540 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}}
546 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}}
550 // length for the "before" strlen, we won't be able to set one for "after".
554 if (strlen(dst) != (((size_t)0) - 2))
556 if (strlen(src) != 2)
601 clang_analyzer_eval(strlen(x) == strlen(y)); // expected-warning{{UNKNOWN}}
617 if (strlen(y) == 4)
627 if (strlen(y) == 3)
640 if (strlen(y) == 3)
648 if (strlen(y) == 4)
654 if (strlen(y) == 3)
662 // strncpy does not null-terminate, so we have no idea what the strlen is
664 clang_analyzer_eval(strlen(x) > 4); // expected-warning{{UNKNOWN}}
715 size_t orig_len = strlen(x);
718 if (strlen(y) != 4)
721 clang_analyzer_eval(strncat(x, y, strlen(y)) == x); // expected-warning{{TRUE}}
722 clang_analyzer_eval(strlen(x) == (orig_len + strlen(y))); // expected-warning{{TRUE}}
728 if (strlen(y) == 4)
729 strncat(x, y, strlen(y));
735 if (strlen(y) == 3)
736 strncat(x, y, strlen(y));
742 if (strlen(y) == 2)
743 strncat(x, y, strlen(y));
749 if (strlen(y) == 4)
757 if (strlen(y) == 2)
758 strncat(x, y, strlen(y)); // no-warning
763 if (strlen(y) == 4)
769 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}}
776 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}}
786 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}}
795 // length for the "before" strlen, we won't be able to set one for "after".
802 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}}
803 clang_analyzer_eval(strlen(dst) == 4); // expected-warning{{UNKNOWN}}
811 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}}
812 clang_analyzer_eval(strlen(dst) == 4); // expected-warning{{UNKNOWN}}
817 if (strlen(dst) != (((size_t)0) - 2))
819 if (strlen(src) != 2)
1350 clang_analyzer_eval(strlen(str) == 4); // expected-warning{{TRUE}}
1352 clang_analyzer_eval(strlen(str) == 0); // expected-warning{{TRUE}}
1357 clang_analyzer_eval(strlen(str) == 4); // expected-warning{{TRUE}}
1358 memset(str, '\0', strlen(str) + 1);
1359 clang_analyzer_eval(strlen(str) == 0); // expected-warning{{TRUE}}
1375 clang_analyzer_eval(strlen(str) == 0); // expected-warning{{TRUE}}
1390 clang_analyzer_eval(strlen(str) == 4); // expected-warning{{TRUE}}
1393 clang_analyzer_eval(strlen(str) == 4); // expected-warning{{UNKNOWN}}
1399 clang_analyzer_eval(strlen(str) == 4); // expected-warning{{TRUE}}
1402 clang_analyzer_eval(strlen(str) >= 10); // expected-warning{{TRUE}}
1403 clang_analyzer_eval(strlen(str) < 10); // expected-warning{{FALSE}}
1462 clang_analyzer_eval(strlen((char *)array) == 0); // expected-warning{{TRUE}}
1463 clang_analyzer_eval(strlen(str) == 0); // expected-warning{{TRUE}}
1472 clang_analyzer_eval(strlen((char *)array) == 0); // expected-warning{{TRUE}}
1473 clang_analyzer_eval(strlen(str) == 0); // expected-warning{{TRUE}}
1526 clang_analyzer_eval(strlen(array) == 0); // expected-warning{{TRUE}}
1535 clang_analyzer_eval(strlen(array) == 0); // expected-warning{{TRUE}}
1547 clang_analyzer_eval(strlen(str) == 4); // expected-warning{{TRUE}}
1549 clang_analyzer_eval(strlen(str) == 0); // expected-warning{{TRUE}}
1554 clang_analyzer_eval(strlen(str) == 4); // expected-warning{{TRUE}}
1556 clang_analyzer_eval(strlen(str) == 0); // expected-warning{{FALSE}}
1570 clang_analyzer_eval(strlen(passwd) == 0); // expected-warning{{TRUE}}
1601 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{UNKNOWN}}
1608 if (strlen(y) >= 4)
1615 clang_analyzer_eval(strlen(x) <= 3); // expected-warning{{UNKNOWN}}
1620 clang_analyzer_eval(strlen(str) == 4); // expected-warning{{TRUE}}
1624 clang_analyzer_eval(strlen(str) >= 5); // expected-warning{{TRUE}}
1633 clang_analyzer_eval(strlen((char *)array) >= 10 * sizeof(int)); // expected-warning{{TRUE}}
1634 clang_analyzer_eval(strlen(str) >= 10 * sizeof(int)); // expected-warning{{TRUE}}
1644 clang_analyzer_eval(strlen((char *)array) >= 12 * sizeof(int)); // expected-warning{{TRUE}}
1645 clang_analyzer_eval(strlen(str) >= 12 * sizeof(int)); // expected-warning{{TRUE}}
1651 clang_analyzer_eval(strlen(str) == 0); // expected-warning{{UNKNOWN}}
1654 clang_analyzer_eval(strlen(str) == 0); // expected-warning{{UNKNOWN}}
1658 clang_analyzer_eval(strlen(str) >= 10); // expected-warning{{TRUE}}
1667 clang_analyzer_eval(strlen(str) == 0); // expected-warning{{UNKNOWN}}
1670 clang_analyzer_eval(strlen(str) >= 10); // expected-warning{{TRUE}}
1675 clang_analyzer_eval(strlen(str) >= 10); // expected-warning{{UNKNOWN}}
1690 clang_analyzer_eval(strlen(array) >= 10); // expected-warning{{TRUE}}