Lines Matching refs:y
283 void strcpy_effects(char *x, char *y) { in strcpy_effects() argument
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()
294 void strcpy_overflow(char *y) { in strcpy_overflow() argument
296 if (strlen(y) == 4) in strcpy_overflow()
297 strcpy(x, y); // expected-warning{{String copy function overflows destination buffer}} in strcpy_overflow()
300 void strcpy_no_overflow(char *y) { in strcpy_no_overflow() argument
302 if (strlen(y) == 3) in strcpy_no_overflow()
303 strcpy(x, y); // no-warning in strcpy_no_overflow()
325 void stpcpy_effect(char *x, char *y) { in stpcpy_effect() argument
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()
333 void stpcpy_overflow(char *y) { in stpcpy_overflow() argument
335 if (strlen(y) == 4) in stpcpy_overflow()
336 stpcpy(x, y); // expected-warning{{String copy function overflows destination buffer}} in stpcpy_overflow()
339 void stpcpy_no_overflow(char *y) { in stpcpy_no_overflow() argument
341 if (strlen(y) == 3) in stpcpy_no_overflow()
342 stpcpy(x, y); // no-warning in stpcpy_no_overflow()
376 void strcat_effects(char *y) { in strcat_effects() argument
381 if (strlen(y) != 4) in strcat_effects()
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()
388 void strcat_overflow_0(char *y) { in strcat_overflow_0() argument
390 if (strlen(y) == 4) in strcat_overflow_0()
391 strcat(x, y); // expected-warning{{String copy function overflows destination buffer}} in strcat_overflow_0()
394 void strcat_overflow_1(char *y) { in strcat_overflow_1() argument
396 if (strlen(y) == 3) in strcat_overflow_1()
397 strcat(x, y); // expected-warning{{String copy function overflows destination buffer}} in strcat_overflow_1()
400 void strcat_overflow_2(char *y) { in strcat_overflow_2() argument
402 if (strlen(y) == 2) in strcat_overflow_2()
403 strcat(x, y); // expected-warning{{String copy function overflows destination buffer}} in strcat_overflow_2()
406 void strcat_no_overflow(char *y) { in strcat_no_overflow() argument
408 if (strlen(y) == 2) in strcat_no_overflow()
409 strcat(x, y); // no-warning in strcat_no_overflow()
473 void strncpy_effects(char *x, char *y) { in strncpy_effects() argument
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()
481 void strncpy_overflow(char *y) { in strncpy_overflow() argument
483 if (strlen(y) == 4) in strncpy_overflow()
484 …strncpy(x, y, 5); // expected-warning{{Size argument is greater than the length of the destination… in strncpy_overflow()
487 void strncpy_no_overflow(char *y) { in strncpy_no_overflow() argument
489 if (strlen(y) == 3) in strncpy_no_overflow()
490 …strncpy(x, y, 5); // expected-warning{{Size argument is greater than the length of the destination… in strncpy_no_overflow()
493 void strncpy_no_overflow2(char *y, int n) { in strncpy_no_overflow2() argument
498 if (strlen(y) == 3) in strncpy_no_overflow2()
499 …strncpy(x, y, n); // expected-warning{{Size argument is greater than the length of the destination… in strncpy_no_overflow2()
502 void strncpy_truncate(char *y) { in strncpy_truncate() argument
504 if (strlen(y) == 4) in strncpy_truncate()
505 strncpy(x, y, 3); // no-warning in strncpy_truncate()
508 void strncpy_no_truncate(char *y) { in strncpy_no_truncate() argument
510 if (strlen(y) == 3) in strncpy_no_truncate()
511 strncpy(x, y, 3); // no-warning in strncpy_no_truncate()
514 void strncpy_exactly_matching_buffer(char *y) { in strncpy_exactly_matching_buffer() argument
516 strncpy(x, y, 4); // no-warning in strncpy_exactly_matching_buffer()
565 void strncat_effects(char *y) { in strncat_effects() argument
570 if (strlen(y) != 4) in strncat_effects()
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()
577 void strncat_overflow_0(char *y) { in strncat_overflow_0() argument
579 if (strlen(y) == 4) in strncat_overflow_0()
580 …strncat(x, y, strlen(y)); // expected-warning{{Size argument is greater than the free space in the… in strncat_overflow_0()
583 void strncat_overflow_1(char *y) { in strncat_overflow_1() argument
585 if (strlen(y) == 3) in strncat_overflow_1()
586 …strncat(x, y, strlen(y)); // expected-warning{{Size argument is greater than the free space in the… in strncat_overflow_1()
589 void strncat_overflow_2(char *y) { in strncat_overflow_2() argument
591 if (strlen(y) == 2) in strncat_overflow_2()
592 …strncat(x, y, strlen(y)); // expected-warning{{Size argument is greater than the free space in the… in strncat_overflow_2()
595 void strncat_overflow_3(char *y) { in strncat_overflow_3() argument
597 if (strlen(y) == 4) in strncat_overflow_3()
598 …strncat(x, y, 2); // expected-warning{{Size argument is greater than the free space in the destina… in strncat_overflow_3()
600 void strncat_no_overflow_1(char *y) { in strncat_no_overflow_1() argument
602 if (strlen(y) == 2) in strncat_no_overflow_1()
603 strncat(x, y, strlen(y)); // no-warning in strncat_no_overflow_1()
606 void strncat_no_overflow_2(char *y) { in strncat_no_overflow_2() argument
608 if (strlen(y) == 4) in strncat_no_overflow_2()
609 strncat(x, y, 1); // no-warning in strncat_no_overflow_2()
699 char *y = "123"; in strcmp_0() local
700 clang_analyzer_eval(strcmp(x, y) == 0); // expected-warning{{TRUE}} in strcmp_0()
705 char *y = "123"; in strcmp_1() local
706 clang_analyzer_eval(strcmp(x, y) == 1); // expected-warning{{TRUE}} in strcmp_1()
711 char *y = "234"; in strcmp_2() local
712 clang_analyzer_eval(strcmp(x, y) == -1); // expected-warning{{TRUE}} in strcmp_2()
717 char *y = "123"; in strcmp_null_0() local
718 strcmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function}} in strcmp_null_0()
723 char *y = NULL; in strcmp_null_1() local
724 strcmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function}} in strcmp_null_1()
729 char *y = "234"; in strcmp_diff_length_0() local
730 clang_analyzer_eval(strcmp(x, y) == -1); // expected-warning{{TRUE}} in strcmp_diff_length_0()
735 char *y = "23456"; in strcmp_diff_length_1() local
736 clang_analyzer_eval(strcmp(x, y) == -1); // expected-warning{{TRUE}} in strcmp_diff_length_1()
741 char *y = "123"; in strcmp_diff_length_2() local
742 clang_analyzer_eval(strcmp(x, y) == 1); // expected-warning{{TRUE}} in strcmp_diff_length_2()
747 char *y = "12345"; in strcmp_diff_length_3() local
748 clang_analyzer_eval(strcmp(x, y) == -1); // expected-warning{{TRUE}} in strcmp_diff_length_3()
782 char *y = "123"; in strncmp_0() local
783 clang_analyzer_eval(strncmp(x, y, 3) == 0); // expected-warning{{TRUE}} in strncmp_0()
788 char *y = "123"; in strncmp_1() local
789 clang_analyzer_eval(strncmp(x, y, 3) == 1); // expected-warning{{TRUE}} in strncmp_1()
794 char *y = "234"; in strncmp_2() local
795 clang_analyzer_eval(strncmp(x, y, 3) == -1); // expected-warning{{TRUE}} in strncmp_2()
800 char *y = "123"; in strncmp_null_0() local
801 …strncmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison function… in strncmp_null_0()
806 char *y = NULL; in strncmp_null_1() local
807 …strncmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison function… in strncmp_null_1()
812 char *y = "234"; in strncmp_diff_length_0() local
813 clang_analyzer_eval(strncmp(x, y, 5) == -1); // expected-warning{{TRUE}} in strncmp_diff_length_0()
818 char *y = "23456"; in strncmp_diff_length_1() local
819 clang_analyzer_eval(strncmp(x, y, 5) == -1); // expected-warning{{TRUE}} in strncmp_diff_length_1()
824 char *y = "123"; in strncmp_diff_length_2() local
825 clang_analyzer_eval(strncmp(x, y, 5) == 1); // expected-warning{{TRUE}} in strncmp_diff_length_2()
830 char *y = "12345"; in strncmp_diff_length_3() local
831 clang_analyzer_eval(strncmp(x, y, 5) == -1); // expected-warning{{TRUE}} in strncmp_diff_length_3()
836 char *y = "12345"; in strncmp_diff_length_4() local
837 clang_analyzer_eval(strncmp(x, y, 3) == 0); // expected-warning{{TRUE}} in strncmp_diff_length_4()
842 char *y = "12345"; in strncmp_diff_length_5() local
843 clang_analyzer_eval(strncmp(x, y, 3) == -1); // expected-warning{{TRUE}} in strncmp_diff_length_5()
848 char *y = "12345"; in strncmp_diff_length_6() local
849 clang_analyzer_eval(strncmp(x, y, 3) == 1); // expected-warning{{TRUE}} in strncmp_diff_length_6()
879 char *y = "Abc"; in strcasecmp_0() local
880 clang_analyzer_eval(strcasecmp(x, y) == 0); // expected-warning{{TRUE}} in strcasecmp_0()
885 char *y = "abc"; in strcasecmp_1() local
886 clang_analyzer_eval(strcasecmp(x, y) == 1); // expected-warning{{TRUE}} in strcasecmp_1()
891 char *y = "Bcd"; in strcasecmp_2() local
892 clang_analyzer_eval(strcasecmp(x, y) == -1); // expected-warning{{TRUE}} in strcasecmp_2()
897 char *y = "123"; in strcasecmp_null_0() local
898 …strcasecmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function… in strcasecmp_null_0()
903 char *y = NULL; in strcasecmp_null_1() local
904 …strcasecmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function… in strcasecmp_null_1()
909 char *y = "aBd"; in strcasecmp_diff_length_0() local
910 clang_analyzer_eval(strcasecmp(x, y) == -1); // expected-warning{{TRUE}} in strcasecmp_diff_length_0()
915 char *y = "aBdef"; in strcasecmp_diff_length_1() local
916 clang_analyzer_eval(strcasecmp(x, y) == -1); // expected-warning{{TRUE}} in strcasecmp_diff_length_1()
921 char *y = "abc"; in strcasecmp_diff_length_2() local
922 clang_analyzer_eval(strcasecmp(x, y) == 1); // expected-warning{{TRUE}} in strcasecmp_diff_length_2()
927 char *y = "abcde"; in strcasecmp_diff_length_3() local
928 clang_analyzer_eval(strcasecmp(x, y) == -1); // expected-warning{{TRUE}} in strcasecmp_diff_length_3()
958 char *y = "Abc"; in strncasecmp_0() local
959 clang_analyzer_eval(strncasecmp(x, y, 3) == 0); // expected-warning{{TRUE}} in strncasecmp_0()
964 char *y = "abc"; in strncasecmp_1() local
965 clang_analyzer_eval(strncasecmp(x, y, 3) == 1); // expected-warning{{TRUE}} in strncasecmp_1()
970 char *y = "Bcd"; in strncasecmp_2() local
971 clang_analyzer_eval(strncasecmp(x, y, 3) == -1); // expected-warning{{TRUE}} in strncasecmp_2()
976 char *y = "123"; in strncasecmp_null_0() local
977 …strncasecmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison func… in strncasecmp_null_0()
982 char *y = NULL; in strncasecmp_null_1() local
983 …strncasecmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison func… in strncasecmp_null_1()
988 char *y = "aBd"; in strncasecmp_diff_length_0() local
989 clang_analyzer_eval(strncasecmp(x, y, 5) == -1); // expected-warning{{TRUE}} in strncasecmp_diff_length_0()
994 char *y = "aBdef"; in strncasecmp_diff_length_1() local
995 clang_analyzer_eval(strncasecmp(x, y, 5) == -1); // expected-warning{{TRUE}} in strncasecmp_diff_length_1()
1000 char *y = "abc"; in strncasecmp_diff_length_2() local
1001 clang_analyzer_eval(strncasecmp(x, y, 5) == 1); // expected-warning{{TRUE}} in strncasecmp_diff_length_2()
1006 char *y = "abcde"; in strncasecmp_diff_length_3() local
1007 clang_analyzer_eval(strncasecmp(x, y, 5) == -1); // expected-warning{{TRUE}} in strncasecmp_diff_length_3()
1012 char *y = "aBc"; in strncasecmp_diff_length_4() local
1013 clang_analyzer_eval(strncasecmp(x, y, 3) == 0); // expected-warning{{TRUE}} in strncasecmp_diff_length_4()
1018 char *y = "aBd"; in strncasecmp_diff_length_5() local
1019 clang_analyzer_eval(strncasecmp(x, y, 3) == -1); // expected-warning{{TRUE}} in strncasecmp_diff_length_5()
1024 char *y = "abc"; in strncasecmp_diff_length_6() local
1025 clang_analyzer_eval(strncasecmp(x, y, 3) == 1); // expected-warning{{TRUE}} in strncasecmp_diff_length_6()
1099 void strncpy_exactly_matching_buffer2(char *y) { in strncpy_exactly_matching_buffer2() argument
1100 if (strlen(y) >= 4) in strncpy_exactly_matching_buffer2()
1104 strncpy(x, y, 4); // no-warning in strncpy_exactly_matching_buffer2()