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()
685 char *y = "a"; in strcmp_check_modelling() local
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()
711 char *y = "123"; in strcmp_0() local
712 clang_analyzer_eval(strcmp(x, y) == 0); // expected-warning{{TRUE}} in strcmp_0()
717 char *y = "123"; in strcmp_1() local
718 clang_analyzer_eval(strcmp(x, y) > 0); // expected-warning{{TRUE}} in strcmp_1()
723 char *y = "234"; in strcmp_2() local
724 clang_analyzer_eval(strcmp(x, y) < 0); // expected-warning{{TRUE}} in strcmp_2()
729 char *y = "123"; in strcmp_null_0() local
730 strcmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function}} in strcmp_null_0()
735 char *y = NULL; in strcmp_null_1() local
736 strcmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function}} in strcmp_null_1()
741 char *y = "234"; in strcmp_diff_length_0() local
742 clang_analyzer_eval(strcmp(x, y) < 0); // expected-warning{{TRUE}} in strcmp_diff_length_0()
747 char *y = "23456"; in strcmp_diff_length_1() local
748 clang_analyzer_eval(strcmp(x, y) < 0); // expected-warning{{TRUE}} in strcmp_diff_length_1()
753 char *y = "123"; in strcmp_diff_length_2() local
754 clang_analyzer_eval(strcmp(x, y) > 0); // expected-warning{{TRUE}} in strcmp_diff_length_2()
759 char *y = "12345"; in strcmp_diff_length_3() local
760 clang_analyzer_eval(strcmp(x, y) < 0); // expected-warning{{TRUE}} in strcmp_diff_length_3()
794 char *y = "a"; in strncmp_check_modelling() local
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()
820 char *y = "123"; in strncmp_0() local
821 clang_analyzer_eval(strncmp(x, y, 3) == 0); // expected-warning{{TRUE}} in strncmp_0()
826 char *y = "123"; in strncmp_1() local
827 clang_analyzer_eval(strncmp(x, y, 3) > 0); // expected-warning{{TRUE}} in strncmp_1()
832 char *y = "234"; in strncmp_2() local
833 clang_analyzer_eval(strncmp(x, y, 3) < 0); // expected-warning{{TRUE}} in strncmp_2()
838 char *y = "123"; in strncmp_null_0() local
839 …strncmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison function… in strncmp_null_0()
844 char *y = NULL; in strncmp_null_1() local
845 …strncmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison function… in strncmp_null_1()
850 char *y = "234"; in strncmp_diff_length_0() local
851 clang_analyzer_eval(strncmp(x, y, 5) < 0); // expected-warning{{TRUE}} in strncmp_diff_length_0()
856 char *y = "23456"; in strncmp_diff_length_1() local
857 clang_analyzer_eval(strncmp(x, y, 5) < 0); // expected-warning{{TRUE}} in strncmp_diff_length_1()
862 char *y = "123"; in strncmp_diff_length_2() local
863 clang_analyzer_eval(strncmp(x, y, 5) > 0); // expected-warning{{TRUE}} in strncmp_diff_length_2()
868 char *y = "12345"; in strncmp_diff_length_3() local
869 clang_analyzer_eval(strncmp(x, y, 5) < 0); // expected-warning{{TRUE}} in strncmp_diff_length_3()
874 char *y = "12345"; in strncmp_diff_length_4() local
875 clang_analyzer_eval(strncmp(x, y, 3) == 0); // expected-warning{{TRUE}} in strncmp_diff_length_4()
880 char *y = "12345"; in strncmp_diff_length_5() local
881 clang_analyzer_eval(strncmp(x, y, 3) < 0); // expected-warning{{TRUE}} in strncmp_diff_length_5()
886 char *y = "12345"; in strncmp_diff_length_6() local
887 clang_analyzer_eval(strncmp(x, y, 3) > 0); // expected-warning{{TRUE}} in strncmp_diff_length_6()
903 char *y = "a"; in strcasecmp_check_modelling() local
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()
929 char *y = "Abc"; in strcasecmp_0() local
930 clang_analyzer_eval(strcasecmp(x, y) == 0); // expected-warning{{TRUE}} in strcasecmp_0()
935 char *y = "abc"; in strcasecmp_1() local
936 clang_analyzer_eval(strcasecmp(x, y) > 0); // expected-warning{{TRUE}} in strcasecmp_1()
941 char *y = "Bcd"; in strcasecmp_2() local
942 clang_analyzer_eval(strcasecmp(x, y) < 0); // expected-warning{{TRUE}} in strcasecmp_2()
947 char *y = "123"; in strcasecmp_null_0() local
948 …strcasecmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function… in strcasecmp_null_0()
953 char *y = NULL; in strcasecmp_null_1() local
954 …strcasecmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function… in strcasecmp_null_1()
959 char *y = "aBd"; in strcasecmp_diff_length_0() local
960 clang_analyzer_eval(strcasecmp(x, y) < 0); // expected-warning{{TRUE}} in strcasecmp_diff_length_0()
965 char *y = "aBdef"; in strcasecmp_diff_length_1() local
966 clang_analyzer_eval(strcasecmp(x, y) < 0); // expected-warning{{TRUE}} in strcasecmp_diff_length_1()
971 char *y = "abc"; in strcasecmp_diff_length_2() local
972 clang_analyzer_eval(strcasecmp(x, y) > 0); // expected-warning{{TRUE}} in strcasecmp_diff_length_2()
977 char *y = "abcde"; in strcasecmp_diff_length_3() local
978 clang_analyzer_eval(strcasecmp(x, y) < 0); // expected-warning{{TRUE}} in strcasecmp_diff_length_3()
994 char *y = "a"; in strncasecmp_check_modelling() local
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()
1020 char *y = "Abc"; in strncasecmp_0() local
1021 clang_analyzer_eval(strncasecmp(x, y, 3) == 0); // expected-warning{{TRUE}} in strncasecmp_0()
1026 char *y = "abc"; in strncasecmp_1() local
1027 clang_analyzer_eval(strncasecmp(x, y, 3) > 0); // expected-warning{{TRUE}} in strncasecmp_1()
1032 char *y = "Bcd"; in strncasecmp_2() local
1033 clang_analyzer_eval(strncasecmp(x, y, 3) < 0); // expected-warning{{TRUE}} in strncasecmp_2()
1038 char *y = "123"; in strncasecmp_null_0() local
1039 …strncasecmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison func… in strncasecmp_null_0()
1044 char *y = NULL; in strncasecmp_null_1() local
1045 …strncasecmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison func… in strncasecmp_null_1()
1050 char *y = "aBd"; in strncasecmp_diff_length_0() local
1051 clang_analyzer_eval(strncasecmp(x, y, 5) < 0); // expected-warning{{TRUE}} in strncasecmp_diff_length_0()
1056 char *y = "aBdef"; in strncasecmp_diff_length_1() local
1057 clang_analyzer_eval(strncasecmp(x, y, 5) < 0); // expected-warning{{TRUE}} in strncasecmp_diff_length_1()
1062 char *y = "abc"; in strncasecmp_diff_length_2() local
1063 clang_analyzer_eval(strncasecmp(x, y, 5) > 0); // expected-warning{{TRUE}} in strncasecmp_diff_length_2()
1068 char *y = "abcde"; in strncasecmp_diff_length_3() local
1069 clang_analyzer_eval(strncasecmp(x, y, 5) < 0); // expected-warning{{TRUE}} in strncasecmp_diff_length_3()
1074 char *y = "aBc"; in strncasecmp_diff_length_4() local
1075 clang_analyzer_eval(strncasecmp(x, y, 3) == 0); // expected-warning{{TRUE}} in strncasecmp_diff_length_4()
1080 char *y = "aBd"; in strncasecmp_diff_length_5() local
1081 clang_analyzer_eval(strncasecmp(x, y, 3) < 0); // expected-warning{{TRUE}} in strncasecmp_diff_length_5()
1086 char *y = "abc"; in strncasecmp_diff_length_6() local
1087 clang_analyzer_eval(strncasecmp(x, y, 3) > 0); // expected-warning{{TRUE}} in strncasecmp_diff_length_6()
1161 void strncpy_exactly_matching_buffer2(char *y) { in strncpy_exactly_matching_buffer2() argument
1162 if (strlen(y) >= 4) in strncpy_exactly_matching_buffer2()
1166 strncpy(x, y, 4); // no-warning in strncpy_exactly_matching_buffer2()