Lines Matching refs:dst
426 void strcat_symbolic_dst_length(char *dst) {
427 strcat(dst, "1234");
428 if (strlen(dst) < 4)
433 char dst[8] = "1234";
434 strcat(dst, src);
435 if (strlen(dst) < 4)
440 char dst[8] = "1234";
441 strcat(dst, &src[offset]);
442 if (strlen(dst) < 4)
449 void strcat_too_big(char *dst, char *src) {
450 if (strlen(dst) != (((size_t)0) - 2))
454 strcat(dst, src); // expected-warning{{This expression will create a string whose length is too big to be represented as a size_t}}
638 void strncat_symbolic_dst_length(char *dst) {
639 strncat(dst, "1234", 5);
640 if (strlen(dst) < 4)
645 char dst[8] = "1234";
646 strncat(dst, src, 3);
647 if (strlen(dst) < 4)
655 char dst[8] = "1234";
656 strncat(dst, &src[offset], 3);
657 if (strlen(dst) < 4)
668 char dst[6] = "1234";
670 strncat(dst, src, limit); // no-warning
671 if (strlen(dst) < 4)
673 if (strlen(dst) == 4)
678 char dst[6] = "1234";
680 strncat(dst, src, (size_t)limit); // no-warning
681 if (strlen(dst) < 4)
683 if (strlen(dst) == 4)
687 void strncat_too_big(char *dst, char *src) {
688 if (strlen(dst) != (((size_t)0) - 2))
692 strncat(dst, src, 2); // expected-warning{{This expression will create a string whose length is too big to be represented as a size_t}}
