1 /* $NetBSD: t_strcat.c,v 1.2 2011/07/14 05:46:04 jruoho Exp $ */
2 
3 /*
4  * Written by J.T. Conklin <jtc@acorntoolworks.com>
5  * Public domain.
6  */
7 
8 #include <atf-c.h>
9 #include <string.h>
10 #include <unistd.h>
11 #include <stdio.h>
12 #include <stdlib.h>
13 
14 ATF_TC(strcat_basic);
15 ATF_TC_HEAD(strcat_basic, tc)
16 {
17         atf_tc_set_md_var(tc, "descr", "Test strcat(3) results");
18 }
19 
20 ATF_TC_BODY(strcat_basic, tc)
21 {
22 	/* try to trick the compiler */
23 	char * (*f)(char *, const char *s) = strcat;
24 
25 	unsigned int a0, a1, t0, t1;
26 	char buf0[64];
27 	char buf1[64];
28 	char *ret;
29 
30 	struct tab {
31 		const char*	val;
32 		size_t		len;
33 	};
34 
35 	const struct tab tab[] = {
36 	/*
37 	 * patterns that check for all combinations of leading and
38 	 * trailing unaligned characters (on a 64 bit processor)
39 	 */
40 
41 		{ "",				0 },
42 		{ "a",				1 },
43 		{ "ab",				2 },
44 		{ "abc",			3 },
45 		{ "abcd",			4 },
46 		{ "abcde",			5 },
47 		{ "abcdef",			6 },
48 		{ "abcdefg",			7 },
49 		{ "abcdefgh",			8 },
50 		{ "abcdefghi",			9 },
51 		{ "abcdefghij",			10 },
52 		{ "abcdefghijk",		11 },
53 		{ "abcdefghijkl",		12 },
54 		{ "abcdefghijklm",		13 },
55 		{ "abcdefghijklmn",		14 },
56 		{ "abcdefghijklmno",		15 },
57 		{ "abcdefghijklmnop",		16 },
58 		{ "abcdefghijklmnopq",		17 },
59 		{ "abcdefghijklmnopqr",		18 },
60 		{ "abcdefghijklmnopqrs",	19 },
61 		{ "abcdefghijklmnopqrst",	20 },
62 		{ "abcdefghijklmnopqrstu",	21 },
63 		{ "abcdefghijklmnopqrstuv",	22 },
64 		{ "abcdefghijklmnopqrstuvw",	23 },
65 
66 		/*
67 		 * patterns that check for the cases where the expression:
68 		 *
69 		 *	((word - 0x7f7f..7f) & 0x8080..80)
70 		 *
71 		 * returns non-zero even though there are no zero bytes in
72 		 * the word.
73 		 */
74 
75 		{ "" "\xff\xff\xff\xff\xff\xff\xff\xff" "abcdefgh",	16 },
76 		{ "a" "\xff\xff\xff\xff\xff\xff\xff\xff" "bcdefgh",	16 },
77 		{ "ab" "\xff\xff\xff\xff\xff\xff\xff\xff" "cdefgh",	16 },
78 		{ "abc" "\xff\xff\xff\xff\xff\xff\xff\xff" "defgh",	16 },
79 		{ "abcd" "\xff\xff\xff\xff\xff\xff\xff\xff" "efgh",	16 },
80 		{ "abcde" "\xff\xff\xff\xff\xff\xff\xff\xff" "fgh",	16 },
81 		{ "abcdef" "\xff\xff\xff\xff\xff\xff\xff\xff" "gh",	16 },
82 		{ "abcdefg" "\xff\xff\xff\xff\xff\xff\xff\xff" "h",	16 },
83 		{ "abcdefgh" "\xff\xff\xff\xff\xff\xff\xff\xff" "",	16 },
84 	};
85 
86 	for (a0 = 0; a0 < sizeof(long); ++a0) {
87 		for (a1 = 0; a1 < sizeof(long); ++a1) {
88 			for (t0 = 0; t0 < __arraycount(tab); ++t0) {
89 				for (t1 = 0; t1 < __arraycount(tab); ++t1) {
90 
91 					memcpy(&buf0[a0], tab[t0].val,
92 					    tab[t0].len + 1);
93 					memcpy(&buf1[a1], tab[t1].val,
94 					    tab[t1].len + 1);
95 
96 					ret = f(&buf0[a0], &buf1[a1]);
97 
98 					/*
99 					 * verify strcat returns address
100 					 * of first parameter
101 					 */
102 					if (&buf0[a0] != ret) {
103 						fprintf(stderr, "a0 %d, a1 %d, "
104 						    "t0 %d, t1 %d\n",
105 						    a0, a1, t0, t1);
106 						atf_tc_fail("strcat did not "
107 						    "return its first arg");
108 					}
109 
110 					/* verify string copied correctly */
111 					if (memcmp(&buf0[a0] + tab[t0].len,
112 						   &buf1[a1],
113 						   tab[t1].len + 1) != 0) {
114 						fprintf(stderr, "a0 %d, a1 %d, "
115 						    "t0 %d, t1 %d\n",
116 						    a0, a1, t0, t1);
117 						atf_tc_fail("string not copied "
118 						    "correctly");
119 					}
120 				}
121 			}
122 		}
123 	}
124 }
125 
126 ATF_TC(strncat_simple);
127 ATF_TC_HEAD(strncat_simple, tc)
128 {
129         atf_tc_set_md_var(tc, "descr", "Test strncat(3) results");
130 }
131 
132 ATF_TC_BODY(strncat_simple, tc)
133 {
134 	char buf[100] = "abcdefg";
135 
136 	ATF_CHECK(strncat(buf, "xxx", 0) == buf);
137 	ATF_CHECK(strcmp(buf, "abcdefg") == 0);
138 	ATF_CHECK(strncat(buf, "xxx", 1) == buf);
139 	ATF_CHECK(strcmp(buf, "abcdefgx") == 0);
140 	ATF_CHECK(strncat(buf, "xxx", 2) == buf);
141 	ATF_CHECK(strcmp(buf, "abcdefgxxx") == 0);
142 	ATF_CHECK(strncat(buf, "\0", 1) == buf);
143 	ATF_CHECK(strcmp(buf, "abcdefgxxx") == 0);
144 }
145 
146 ATF_TP_ADD_TCS(tp)
147 {
148 
149 	ATF_TP_ADD_TC(tp, strcat_basic);
150 	ATF_TP_ADD_TC(tp, strncat_simple);
151 
152 	return atf_no_error();
153 }
154