Lines Matching defs:strlen
35 // strlen()
38 #define strlen BUILTIN(strlen)
39 size_t strlen(const char *s);
42 clang_analyzer_eval(strlen("123") == 3); // expected-warning{{TRUE}}
47 clang_analyzer_eval(strlen(a) == 3); // expected-warning{{TRUE}}
52 clang_analyzer_eval(strlen(a) == 3); // expected-warning{{TRUE}}
55 clang_analyzer_eval(strlen(a) == 3); // expected-warning{{UNKNOWN}}
59 return strlen(0); // expected-warning{{Null pointer argument in call to string length function}}
63 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}}
68 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}}
78 size_t a = strlen(z.a);
80 size_t b = strlen(z.a);
86 size_t c = strlen(z.a);
93 size_t a = strlen(x);
94 size_t b = strlen(x);
100 size_t c = strlen(x);
107 size_t a = strlen(global_str);
108 size_t b = strlen(global_str);
112 clang_analyzer_eval(strlen(global_str) == 0); // expected-warning{{TRUE}}
118 size_t c = strlen(global_str);
124 size_t a = strlen(x);
127 size_t b = strlen(x);
134 size_t c = strlen(x);
140 size_t a = strlen(x);
146 size_t c = strlen(x);
152 if (strlen(x) < 5)
154 clang_analyzer_eval(strlen(x) < 5); // expected-warning{{FALSE}}
225 clang_analyzer_eval(strnlen(x, 10) == strlen(x)); // expected-warning{{UNKNOWN}}
289 clang_analyzer_eval(strlen(x) == strlen(y)); // expected-warning{{TRUE}}
296 if (strlen(y) == 4)
302 if (strlen(y) == 3)
328 clang_analyzer_eval(stpcpy(x, y) == &x[strlen(y)]); // expected-warning{{TRUE}}
329 clang_analyzer_eval(strlen(x) == strlen(y)); // expected-warning{{TRUE}}
335 if (strlen(y) == 4)
341 if (strlen(y) == 3)
378 size_t orig_len = strlen(x);
381 if (strlen(y) != 4)
385 clang_analyzer_eval((int)strlen(x) == (orig_len + strlen(y))); // expected-warning{{TRUE}}
390 if (strlen(y) == 4)
396 if (strlen(y) == 3)
402 if (strlen(y) == 2)
408 if (strlen(y) == 2)
414 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}}
420 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}}
426 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}}
430 // length for the "before" strlen, we won't be able to set one for "after".
434 if (strlen(dst) != (((size_t)0) - 2))
436 if (strlen(src) != 2)
477 clang_analyzer_eval(strlen(x) == strlen(y)); // expected-warning{{UNKNOWN}}
483 if (strlen(y) == 4)
489 if (strlen(y) == 3)
498 if (strlen(y) == 3)
504 if (strlen(y) == 4)
510 if (strlen(y) == 3)
518 // strncpy does not null-terminate, so we have no idea what the strlen is
520 clang_analyzer_eval(strlen(x) > 4); // expected-warning{{UNKNOWN}}
567 size_t orig_len = strlen(x);
570 if (strlen(y) != 4)
573 clang_analyzer_eval(strncat(x, y, strlen(y)) == x); // expected-warning{{TRUE}}
574 clang_analyzer_eval(strlen(x) == (orig_len + strlen(y))); // expected-warning{{TRUE}}
579 if (strlen(y) == 4)
580 strncat(x, y, strlen(y)); // expected-warning{{Size argument is greater than the free space in the destination buffer}}
585 if (strlen(y) == 3)
586 strncat(x, y, strlen(y)); // expected-warning{{Size argument is greater than the free space in the destination buffer}}
591 if (strlen(y) == 2)
592 strncat(x, y, strlen(y)); // expected-warning{{Size argument is greater than the free space in the destination buffer}}
597 if (strlen(y) == 4)
602 if (strlen(y) == 2)
603 strncat(x, y, strlen(y)); // no-warning
608 if (strlen(y) == 4)
614 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}}
620 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}}
629 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}}
636 // length for the "before" strlen, we won't be able to set one for "after".
643 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}}
644 clang_analyzer_eval(strlen(dst) == 4); // expected-warning{{UNKNOWN}}
652 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}}
653 clang_analyzer_eval(strlen(dst) == 4); // expected-warning{{UNKNOWN}}
658 if (strlen(dst) != (((size_t)0) - 2))
660 if (strlen(src) != 2)
1094 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{UNKNOWN}}
1100 if (strlen(y) >= 4)
1107 clang_analyzer_eval(strlen(x) <= 3); // expected-warning{{UNKNOWN}}