Lines Matching full:warning
42 clang_analyzer_eval(strlen("123") == 3); // expected-warning{{TRUE}} in strlen_constant0()
47 clang_analyzer_eval(strlen(a) == 3); // expected-warning{{TRUE}} in strlen_constant1()
52 clang_analyzer_eval(strlen(a) == 3); // expected-warning{{TRUE}} in strlen_constant2()
55 clang_analyzer_eval(strlen(a) == 3); // expected-warning{{UNKNOWN}} in strlen_constant2()
59 return strlen(0); // expected-warning{{Null pointer argument in call to string length function}} in strlen_null()
63 …return strlen((char*)&strlen_fn); // expected-warning{{Argument to string length function is the a… in strlen_fn()
68 …return strlen((char*)&&label); // expected-warning{{Argument to string length function is the addr… in strlen_nonloc()
82 clang_analyzer_eval(b == 0); // expected-warning{{TRUE}} in strlen_subregion()
88 clang_analyzer_eval(c == 0); // expected-warning{{UNKNOWN}} in strlen_subregion()
96 clang_analyzer_eval(b == 0); // expected-warning{{TRUE}} in strlen_argument()
102 clang_analyzer_eval(c == 0); // expected-warning{{UNKNOWN}} in strlen_argument()
110 clang_analyzer_eval(b == 0); // expected-warning{{TRUE}} in strlen_global()
112 clang_analyzer_eval(strlen(global_str) == 0); // expected-warning{{TRUE}} in strlen_global()
120 clang_analyzer_eval(c == 0); // expected-warning{{UNKNOWN}} in strlen_global()
129 clang_analyzer_eval(b == 0); // expected-warning{{TRUE}} in strlen_indirect()
136 clang_analyzer_eval(c == 0); // expected-warning{{UNKNOWN}} in strlen_indirect()
148 clang_analyzer_eval(c == 0); // expected-warning{{UNKNOWN}} in strlen_indirect2()
154 clang_analyzer_eval(strlen(x) < 5); // expected-warning{{FALSE}} in strlen_liveness()
164 clang_analyzer_eval(strnlen("123", 10) == 3); // expected-warning{{TRUE}} in strnlen_constant0()
169 clang_analyzer_eval(strnlen(a, 10) == 3); // expected-warning{{TRUE}} in strnlen_constant1()
174 clang_analyzer_eval(strnlen(a, 10) == 3); // expected-warning{{TRUE}} in strnlen_constant2()
176 clang_analyzer_eval(strnlen(a, 10) == 3); // expected-warning{{UNKNOWN}} in strnlen_constant2()
180 clang_analyzer_eval(strnlen("123456", 3) == 3); // expected-warning{{TRUE}} in strnlen_constant4()
185 clang_analyzer_eval(strnlen(a, 3) == 3); // expected-warning{{TRUE}} in strnlen_constant5()
190 clang_analyzer_eval(strnlen(a, 3) == 3); // expected-warning{{TRUE}} in strnlen_constant6()
192 clang_analyzer_eval(strnlen(a, 3) == 3); // expected-warning{{UNKNOWN}} in strnlen_constant6()
196 …return strnlen(0, 3); // expected-warning{{Null pointer argument in call to string length function… in strnlen_null()
200 …return strnlen((char*)&strlen_fn, 3); // expected-warning{{Argument to string length function is t… in strnlen_fn()
205 …return strnlen((char*)&&label, 3); // expected-warning{{Argument to string length function is the … in strnlen_nonloc()
209 clang_analyzer_eval(strnlen("abc", 0) == 0); // expected-warning{{TRUE}} in strnlen_zero()
210 clang_analyzer_eval(strnlen(NULL, 0) == 0); // expected-warning{{TRUE}} in strnlen_zero()
225 clang_analyzer_eval(strnlen(x, 10) == strlen(x)); // expected-warning{{UNKNOWN}} in strnlen_is_not_strlen()
230 clang_analyzer_eval(len <= 10); // expected-warning{{TRUE}} in strnlen_at_limit()
231 clang_analyzer_eval(len == 10); // expected-warning{{UNKNOWN}} in strnlen_at_limit()
232 clang_analyzer_eval(len < 10); // expected-warning{{UNKNOWN}} in strnlen_at_limit()
237 clang_analyzer_eval(len <= 3); // expected-warning{{TRUE}} in strnlen_at_actual()
240 clang_analyzer_eval(len == 0); // expected-warning{{TRUE}} in strnlen_at_actual()
242 clang_analyzer_eval(len == 3); // expected-warning{{UNKNOWN}} in strnlen_at_actual()
243 clang_analyzer_eval(len < 3); // expected-warning{{UNKNOWN}} in strnlen_at_actual()
267 strcpy(NULL, x); // expected-warning{{Null pointer argument in call to string copy function}} in strcpy_null_dst()
271 strcpy(x, NULL); // expected-warning{{Null pointer argument in call to string copy function}} in strcpy_null_src()
275 …strcpy(x, (char*)&strcpy_fn); // expected-warning{{Argument to string copy function is the address… in strcpy_fn()
279 …strcpy(x, (const char*)&strcpy_fn); // expected-warning{{Argument to string copy function is the a… in strcpy_fn_const()
288 clang_analyzer_eval(strcpy(x, y) == x); // expected-warning{{TRUE}} in strcpy_effects()
289 clang_analyzer_eval(strlen(x) == strlen(y)); // expected-warning{{TRUE}} in strcpy_effects()
290 clang_analyzer_eval(a == x[0]); // expected-warning{{UNKNOWN}} in strcpy_effects()
291 clang_analyzer_eval(globalInt == 42); // expected-warning{{TRUE}} in strcpy_effects()
297 strcpy(x, y); // expected-warning{{String copy function overflows destination buffer}} in strcpy_overflow()
303 strcpy(x, y); // no-warning in strcpy_no_overflow()
328 clang_analyzer_eval(stpcpy(x, y) == &x[strlen(y)]); // expected-warning{{TRUE}} in stpcpy_effect()
329 clang_analyzer_eval(strlen(x) == strlen(y)); // expected-warning{{TRUE}} in stpcpy_effect()
330 clang_analyzer_eval(a == x[0]); // expected-warning{{UNKNOWN}} in stpcpy_effect()
336 stpcpy(x, y); // expected-warning{{String copy function overflows destination buffer}} in stpcpy_overflow()
342 stpcpy(x, y); // no-warning in stpcpy_no_overflow()
365 strcat(NULL, x); // expected-warning{{Null pointer argument in call to string copy function}} in strcat_null_dst()
369 strcat(x, NULL); // expected-warning{{Null pointer argument in call to string copy function}} in strcat_null_src()
373 …strcat(x, (char*)&strcat_fn); // expected-warning{{Argument to string copy function is the address… in strcat_fn()
384 clang_analyzer_eval(strcat(x, y) == x); // expected-warning{{TRUE}} in strcat_effects()
385 clang_analyzer_eval((int)strlen(x) == (orig_len + strlen(y))); // expected-warning{{TRUE}} in strcat_effects()
391 strcat(x, y); // expected-warning{{String copy function overflows destination buffer}} in strcat_overflow_0()
397 strcat(x, y); // expected-warning{{String copy function overflows destination buffer}} in strcat_overflow_1()
403 strcat(x, y); // expected-warning{{String copy function overflows destination buffer}} in strcat_overflow_2()
409 strcat(x, y); // no-warning in strcat_no_overflow()
414 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}} in strcat_symbolic_dst_length()
420 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}} in strcat_symbolic_dst_length_taint()
426 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}} in strcat_unknown_src_length()
433 // We assume this can never actually happen, so we don't get a warning. in strcat_too_big()
462 strncpy(NULL, x, 5); // expected-warning{{Null pointer argument in call to string copy function}} in strncpy_null_dst()
466 strncpy(x, NULL, 5); // expected-warning{{Null pointer argument in call to string copy function}} in strncpy_null_src()
470 …strncpy(x, (char*)&strcpy_fn, 5); // expected-warning{{Argument to string copy function is the add… in strncpy_fn()
476 clang_analyzer_eval(strncpy(x, y, 5) == x); // expected-warning{{TRUE}} in strncpy_effects()
477 clang_analyzer_eval(strlen(x) == strlen(y)); // expected-warning{{UNKNOWN}} in strncpy_effects()
478 clang_analyzer_eval(a == x[0]); // expected-warning{{UNKNOWN}} in strncpy_effects()
484 …strncpy(x, y, 5); // expected-warning{{Size argument is greater than the length of the destination… in strncpy_overflow()
490 …strncpy(x, y, 5); // expected-warning{{Size argument is greater than the length of the destination… in strncpy_no_overflow()
499 …strncpy(x, y, n); // expected-warning{{Size argument is greater than the length of the destination… in strncpy_no_overflow2()
505 strncpy(x, y, 3); // no-warning in strncpy_truncate()
511 strncpy(x, y, 3); // no-warning in strncpy_no_truncate()
516 strncpy(x, y, 4); // no-warning in strncpy_exactly_matching_buffer()
520 clang_analyzer_eval(strlen(x) > 4); // expected-warning{{UNKNOWN}} in strncpy_exactly_matching_buffer()
525 strncpy(dst, src, 0); // no-warning in strncpy_zero()
531 strncpy(dst, src, 4); // no-warning in strncpy_empty()
554 strncat(NULL, x, 4); // expected-warning{{Null pointer argument in call to string copy function}} in strncat_null_dst()
558 strncat(x, NULL, 4); // expected-warning{{Null pointer argument in call to string copy function}} in strncat_null_src()
562 …strncat(x, (char*)&strncat_fn, 4); // expected-warning{{Argument to string copy function is the ad… in strncat_fn()
573 clang_analyzer_eval(strncat(x, y, strlen(y)) == x); // expected-warning{{TRUE}} in strncat_effects()
574 clang_analyzer_eval(strlen(x) == (orig_len + strlen(y))); // expected-warning{{TRUE}} in strncat_effects()
580 …strncat(x, y, strlen(y)); // expected-warning{{Size argument is greater than the free space in the… in strncat_overflow_0()
586 …strncat(x, y, strlen(y)); // expected-warning{{Size argument is greater than the free space in the… in strncat_overflow_1()
592 …strncat(x, y, strlen(y)); // expected-warning{{Size argument is greater than the free space in the… in strncat_overflow_2()
598 …strncat(x, y, 2); // expected-warning{{Size argument is greater than the free space in the destina… in strncat_overflow_3()
603 strncat(x, y, strlen(y)); // no-warning in strncat_no_overflow_1()
609 strncat(x, y, 1); // no-warning in strncat_no_overflow_2()
614 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}} in strncat_symbolic_dst_length()
620 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}} in strncat_symbolic_src_length()
623 …strncat(dst2, src, 4); // expected-warning{{Size argument is greater than the free space in the de… in strncat_symbolic_src_length()
629 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}} in strncat_unknown_src_length()
632 …strncat(dst2, &src[offset], 4); // expected-warning{{Size argument is greater than the free space … in strncat_unknown_src_length()
641 strncat(dst, src, limit); // no-warning in strncat_symbolic_limit()
643 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}} in strncat_symbolic_limit()
644 clang_analyzer_eval(strlen(dst) == 4); // expected-warning{{UNKNOWN}} in strncat_symbolic_limit()
650 strncat(dst, src, (size_t)limit); // no-warning in strncat_unknown_limit()
652 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{TRUE}} in strncat_unknown_limit()
653 clang_analyzer_eval(strlen(dst) == 4); // expected-warning{{UNKNOWN}} in strncat_unknown_limit()
657 // We assume this will never actually happen, so we don't get a warning. in strncat_too_big()
667 strncat(dst, src, 0); // no-warning in strncat_zero()
673 strncat(dst, src, 4); // no-warning in strncat_empty()
686 clang_analyzer_eval(strcmp(x, y) > 0); // expected-warning{{TRUE}} in strcmp_check_modelling()
687 clang_analyzer_eval(strcmp(x, y) <= 0); // expected-warning{{FALSE}} in strcmp_check_modelling()
688 clang_analyzer_eval(strcmp(x, y) > 1); // expected-warning{{UNKNOWN}} in strcmp_check_modelling()
690 clang_analyzer_eval(strcmp(y, x) < 0); // expected-warning{{TRUE}} in strcmp_check_modelling()
691 clang_analyzer_eval(strcmp(y, x) >= 0); // expected-warning{{FALSE}} in strcmp_check_modelling()
692 clang_analyzer_eval(strcmp(y, x) < -1); // expected-warning{{UNKNOWN}} in strcmp_check_modelling()
696 clang_analyzer_eval(strcmp("123", "123") == 0); // expected-warning{{TRUE}} in strcmp_constant0()
701 clang_analyzer_eval(strcmp(x, "123") == 0); // expected-warning{{TRUE}} in strcmp_constant_and_var_0()
706 clang_analyzer_eval(strcmp("123", x) == 0); // expected-warning{{TRUE}} in strcmp_constant_and_var_1()
712 clang_analyzer_eval(strcmp(x, y) == 0); // expected-warning{{TRUE}} in strcmp_0()
718 clang_analyzer_eval(strcmp(x, y) > 0); // expected-warning{{TRUE}} in strcmp_1()
724 clang_analyzer_eval(strcmp(x, y) < 0); // expected-warning{{TRUE}} in strcmp_2()
730 strcmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function}} in strcmp_null_0()
736 strcmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function}} in strcmp_null_1()
742 clang_analyzer_eval(strcmp(x, y) < 0); // expected-warning{{TRUE}} in strcmp_diff_length_0()
748 clang_analyzer_eval(strcmp(x, y) < 0); // expected-warning{{TRUE}} in strcmp_diff_length_1()
754 clang_analyzer_eval(strcmp(x, y) > 0); // expected-warning{{TRUE}} in strcmp_diff_length_2()
760 clang_analyzer_eval(strcmp(x, y) < 0); // expected-warning{{TRUE}} in strcmp_diff_length_3()
764 clang_analyzer_eval(strcmp("\0z", "\0y") == 0); // expected-warning{{TRUE}} in strcmp_embedded_null()
768 clang_analyzer_eval(strcmp(unknown, unknown) == 0); // expected-warning{{TRUE}} in strcmp_unknown_arg()
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()
904 clang_analyzer_eval(strcasecmp(x, y) > 0); // expected-warning{{TRUE}} in strcasecmp_check_modelling()
905 clang_analyzer_eval(strcasecmp(x, y) <= 0); // expected-warning{{FALSE}} in strcasecmp_check_modelling()
906 clang_analyzer_eval(strcasecmp(x, y) > 1); // expected-warning{{UNKNOWN}} in strcasecmp_check_modelling()
908 clang_analyzer_eval(strcasecmp(y, x) < 0); // expected-warning{{TRUE}} in strcasecmp_check_modelling()
909 clang_analyzer_eval(strcasecmp(y, x) >= 0); // expected-warning{{FALSE}} in strcasecmp_check_modelling()
910 clang_analyzer_eval(strcasecmp(y, x) < -1); // expected-warning{{UNKNOWN}} in strcasecmp_check_modelling()
914 clang_analyzer_eval(strcasecmp("abc", "Abc") == 0); // expected-warning{{TRUE}} in strcasecmp_constant0()
919 clang_analyzer_eval(strcasecmp(x, "Abc") == 0); // expected-warning{{TRUE}} in strcasecmp_constant_and_var_0()
924 clang_analyzer_eval(strcasecmp("Abc", x) == 0); // expected-warning{{TRUE}} in strcasecmp_constant_and_var_1()
930 clang_analyzer_eval(strcasecmp(x, y) == 0); // expected-warning{{TRUE}} in strcasecmp_0()
936 clang_analyzer_eval(strcasecmp(x, y) > 0); // expected-warning{{TRUE}} in strcasecmp_1()
942 clang_analyzer_eval(strcasecmp(x, y) < 0); // expected-warning{{TRUE}} in strcasecmp_2()
948 …strcasecmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function… in strcasecmp_null_0()
954 …strcasecmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function… in strcasecmp_null_1()
960 clang_analyzer_eval(strcasecmp(x, y) < 0); // expected-warning{{TRUE}} in strcasecmp_diff_length_0()
966 clang_analyzer_eval(strcasecmp(x, y) < 0); // expected-warning{{TRUE}} in strcasecmp_diff_length_1()
972 clang_analyzer_eval(strcasecmp(x, y) > 0); // expected-warning{{TRUE}} in strcasecmp_diff_length_2()
978 clang_analyzer_eval(strcasecmp(x, y) < 0); // expected-warning{{TRUE}} in strcasecmp_diff_length_3()
982 clang_analyzer_eval(strcasecmp("ab\0zz", "ab\0yy") == 0); // expected-warning{{TRUE}} in strcasecmp_embedded_null()
995 clang_analyzer_eval(strncasecmp(x, y, 2) > 0); // expected-warning{{TRUE}} in strncasecmp_check_modelling()
996 clang_analyzer_eval(strncasecmp(x, y, 2) <= 0); // expected-warning{{FALSE}} in strncasecmp_check_modelling()
997 clang_analyzer_eval(strncasecmp(x, y, 2) > 1); // expected-warning{{UNKNOWN}} in strncasecmp_check_modelling()
999 clang_analyzer_eval(strncasecmp(y, x, 2) < 0); // expected-warning{{TRUE}} in strncasecmp_check_modelling()
1000 clang_analyzer_eval(strncasecmp(y, x, 2) >= 0); // expected-warning{{FALSE}} in strncasecmp_check_modelling()
1001 clang_analyzer_eval(strncasecmp(y, x, 2) < -1); // expected-warning{{UNKNOWN}} in strncasecmp_check_modelling()
1005 clang_analyzer_eval(strncasecmp("abc", "Abc", 3) == 0); // expected-warning{{TRUE}} in strncasecmp_constant0()
1010 clang_analyzer_eval(strncasecmp(x, "Abc", 3) == 0); // expected-warning{{TRUE}} in strncasecmp_constant_and_var_0()
1015 clang_analyzer_eval(strncasecmp("Abc", x, 3) == 0); // expected-warning{{TRUE}} in strncasecmp_constant_and_var_1()
1021 clang_analyzer_eval(strncasecmp(x, y, 3) == 0); // expected-warning{{TRUE}} in strncasecmp_0()
1027 clang_analyzer_eval(strncasecmp(x, y, 3) > 0); // expected-warning{{TRUE}} in strncasecmp_1()
1033 clang_analyzer_eval(strncasecmp(x, y, 3) < 0); // expected-warning{{TRUE}} in strncasecmp_2()
1039 …strncasecmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison func… in strncasecmp_null_0()
1045 …strncasecmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison func… in strncasecmp_null_1()
1051 clang_analyzer_eval(strncasecmp(x, y, 5) < 0); // expected-warning{{TRUE}} in strncasecmp_diff_length_0()
1057 clang_analyzer_eval(strncasecmp(x, y, 5) < 0); // expected-warning{{TRUE}} in strncasecmp_diff_length_1()
1063 clang_analyzer_eval(strncasecmp(x, y, 5) > 0); // expected-warning{{TRUE}} in strncasecmp_diff_length_2()
1069 clang_analyzer_eval(strncasecmp(x, y, 5) < 0); // expected-warning{{TRUE}} in strncasecmp_diff_length_3()
1075 clang_analyzer_eval(strncasecmp(x, y, 3) == 0); // expected-warning{{TRUE}} in strncasecmp_diff_length_4()
1081 clang_analyzer_eval(strncasecmp(x, y, 3) < 0); // expected-warning{{TRUE}} in strncasecmp_diff_length_5()
1087 clang_analyzer_eval(strncasecmp(x, y, 3) > 0); // expected-warning{{TRUE}} in strncasecmp_diff_length_6()
1091 clang_analyzer_eval(strncasecmp("ab\0zz", "ab\0yy", 4) == 0); // expected-warning{{TRUE}} in strncasecmp_embedded_null()
1101 strsep(&s, NULL); // expected-warning{{Null pointer argument in call to strsep()}} in strsep_null_delim()
1105 strsep(NULL, ""); // expected-warning{{Null pointer argument in call to strsep()}} in strsep_null_search()
1110 char *result = strsep(&s, ""); // no-warning in strsep_return_original_pointer()
1111 clang_analyzer_eval(original == result); // expected-warning{{TRUE}} in strsep_return_original_pointer()
1116 char *result = strsep(&s, ""); // no-warning in strsep_null_string()
1117 clang_analyzer_eval(result == NULL); // expected-warning{{TRUE}} in strsep_null_string()
1122 strsep(&s, ""); // no-warning in strsep_changes_input_pointer()
1123 clang_analyzer_eval(s == original); // expected-warning{{UNKNOWN}} in strsep_changes_input_pointer()
1124 clang_analyzer_eval(s == NULL); // expected-warning{{UNKNOWN}} in strsep_changes_input_pointer()
1128 clang_analyzer_eval(s == NULL); // expected-warning{{TRUE}} in strsep_changes_input_pointer()
1135 clang_analyzer_eval(str[1] == 'b'); // expected-warning{{TRUE}} in strsep_changes_input_string()
1138 strsep(&s, "b"); // no-warning in strsep_changes_input_string()
1142 clang_analyzer_eval(str[1] == 'b'); // expected-warning{{UNKNOWN}} in strsep_changes_input_string()
1156 clang_analyzer_eval(strlen(dst) >= 4); // expected-warning{{UNKNOWN}} in strcat_symbolic_src_length()
1166 strncpy(x, y, 4); // no-warning in strncpy_exactly_matching_buffer2()
1169 clang_analyzer_eval(strlen(x) <= 3); // expected-warning{{UNKNOWN}} in strncpy_exactly_matching_buffer2()