xref: /netbsd-src/tests/lib/libc/string/t_memchr.c (revision 018955d46bafd55399c5a47dd09cfec3b5b12efa)
1*018955d4Sjruoho /* $NetBSD: t_memchr.c,v 1.3 2012/04/06 07:53:10 jruoho Exp $ */
254bb1074Sjruoho 
354bb1074Sjruoho /*
454bb1074Sjruoho  * Written by J.T. Conklin <jtc@acorntoolworks.com>
554bb1074Sjruoho  * Public domain.
654bb1074Sjruoho  */
754bb1074Sjruoho 
854bb1074Sjruoho #include <atf-c.h>
954bb1074Sjruoho #include <string.h>
1054bb1074Sjruoho #include <unistd.h>
1154bb1074Sjruoho #include <stdio.h>
1254bb1074Sjruoho #include <stdlib.h>
1354bb1074Sjruoho 
1454bb1074Sjruoho ATF_TC(memchr_basic);
ATF_TC_HEAD(memchr_basic,tc)1554bb1074Sjruoho ATF_TC_HEAD(memchr_basic, tc)
1654bb1074Sjruoho {
175fb118d0Sjruoho         atf_tc_set_md_var(tc, "descr", "Test memchr(3) results, #1");
1854bb1074Sjruoho }
1954bb1074Sjruoho 
ATF_TC_BODY(memchr_basic,tc)2054bb1074Sjruoho ATF_TC_BODY(memchr_basic, tc)
2154bb1074Sjruoho {
2254bb1074Sjruoho 	/* try to trick the compiler */
2354bb1074Sjruoho 	void * (*f)(const void *, int, size_t) = memchr;
2454bb1074Sjruoho 
2554bb1074Sjruoho 	unsigned int a, t;
2654bb1074Sjruoho 	void *off, *off2;
2754bb1074Sjruoho 	char buf[32];
2854bb1074Sjruoho 
2954bb1074Sjruoho 	struct tab {
3054bb1074Sjruoho 		const char	*val;
3154bb1074Sjruoho 		size_t  	 len;
3254bb1074Sjruoho 		char		 match;
3354bb1074Sjruoho 		ssize_t		 off;
3454bb1074Sjruoho 	};
3554bb1074Sjruoho 
3654bb1074Sjruoho 	const struct tab tab[] = {
3754bb1074Sjruoho 		{ "",			0, 0, 0 },
3854bb1074Sjruoho 
3954bb1074Sjruoho 		{ "/",			0, 0, 0 },
4054bb1074Sjruoho 		{ "/",			1, 1, 0 },
4154bb1074Sjruoho 		{ "/a",			2, 1, 0 },
4254bb1074Sjruoho 		{ "/ab",		3, 1, 0 },
4354bb1074Sjruoho 		{ "/abc",		4, 1, 0 },
4454bb1074Sjruoho 		{ "/abcd",		5, 1, 0 },
4554bb1074Sjruoho 		{ "/abcde",		6, 1, 0 },
4654bb1074Sjruoho 		{ "/abcdef",		7, 1, 0 },
4754bb1074Sjruoho 		{ "/abcdefg",		8, 1, 0 },
4854bb1074Sjruoho 
4954bb1074Sjruoho 		{ "a/",			1, 0, 0 },
5054bb1074Sjruoho 		{ "a/",			2, 1, 1 },
5154bb1074Sjruoho 		{ "a/b",		3, 1, 1 },
5254bb1074Sjruoho 		{ "a/bc",		4, 1, 1 },
5354bb1074Sjruoho 		{ "a/bcd",		5, 1, 1 },
5454bb1074Sjruoho 		{ "a/bcde",		6, 1, 1 },
5554bb1074Sjruoho 		{ "a/bcdef",		7, 1, 1 },
5654bb1074Sjruoho 		{ "a/bcdefg",		8, 1, 1 },
5754bb1074Sjruoho 
5854bb1074Sjruoho 		{ "ab/",		2, 0, 0 },
5954bb1074Sjruoho 		{ "ab/",		3, 1, 2 },
6054bb1074Sjruoho 		{ "ab/c",		4, 1, 2 },
6154bb1074Sjruoho 		{ "ab/cd",		5, 1, 2 },
6254bb1074Sjruoho 		{ "ab/cde",		6, 1, 2 },
6354bb1074Sjruoho 		{ "ab/cdef",		7, 1, 2 },
6454bb1074Sjruoho 		{ "ab/cdefg",		8, 1, 2 },
6554bb1074Sjruoho 
6654bb1074Sjruoho 		{ "abc/",		3, 0, 0 },
6754bb1074Sjruoho 		{ "abc/",		4, 1, 3 },
6854bb1074Sjruoho 		{ "abc/d",		5, 1, 3 },
6954bb1074Sjruoho 		{ "abc/de",		6, 1, 3 },
7054bb1074Sjruoho 		{ "abc/def",		7, 1, 3 },
7154bb1074Sjruoho 		{ "abc/defg",		8, 1, 3 },
7254bb1074Sjruoho 
7354bb1074Sjruoho 		{ "abcd/",		4, 0, 0 },
7454bb1074Sjruoho 		{ "abcd/",		5, 1, 4 },
7554bb1074Sjruoho 		{ "abcd/e",		6, 1, 4 },
7654bb1074Sjruoho 		{ "abcd/ef",		7, 1, 4 },
7754bb1074Sjruoho 		{ "abcd/efg",		8, 1, 4 },
7854bb1074Sjruoho 
7954bb1074Sjruoho 		{ "abcde/",		5, 0, 0 },
8054bb1074Sjruoho 		{ "abcde/",		6, 1, 5 },
8154bb1074Sjruoho 		{ "abcde/f",		7, 1, 5 },
8254bb1074Sjruoho 		{ "abcde/fg",		8, 1, 5 },
8354bb1074Sjruoho 
8454bb1074Sjruoho 		{ "abcdef/",		6, 0, 0 },
8554bb1074Sjruoho 		{ "abcdef/",		7, 1, 6 },
8654bb1074Sjruoho 		{ "abcdef/g",		8, 1, 6 },
8754bb1074Sjruoho 
8854bb1074Sjruoho 		{ "abcdefg/",		7, 0, 0 },
8954bb1074Sjruoho 		{ "abcdefg/",		8, 1, 7 },
9054bb1074Sjruoho 
9154bb1074Sjruoho 		{ "\xff\xff\xff\xff" "efg/",	8, 1, 7 },
9254bb1074Sjruoho 		{ "a" "\xff\xff\xff\xff" "fg/",	8, 1, 7 },
9354bb1074Sjruoho 		{ "ab" "\xff\xff\xff\xff" "g/",	8, 1, 7 },
9454bb1074Sjruoho 		{ "abc" "\xff\xff\xff\xff" "/",	8, 1, 7 },
9554bb1074Sjruoho 	};
9654bb1074Sjruoho 
9754bb1074Sjruoho 	for (a = 1; a < 1 + sizeof(long); ++a) {
9854bb1074Sjruoho 		for (t = 0; t < (sizeof(tab) / sizeof(tab[0])); ++t) {
9954bb1074Sjruoho 			buf[a-1] = '/';
10054bb1074Sjruoho 			strcpy(&buf[a], tab[t].val);
10154bb1074Sjruoho 
10254bb1074Sjruoho 			off = f(&buf[a], '/', tab[t].len);
10354bb1074Sjruoho 			if (tab[t].match == 0) {
10454bb1074Sjruoho 				if (off != 0) {
10554bb1074Sjruoho 					fprintf(stderr, "a = %d, t = %d\n",
10654bb1074Sjruoho 					    a, t);
10754bb1074Sjruoho 					atf_tc_fail("should not have found "
10854bb1074Sjruoho 					    " char past len");
10954bb1074Sjruoho 				}
11054bb1074Sjruoho 			} else if (tab[t].match == 1) {
11154bb1074Sjruoho 				if (tab[t].off != ((char*)off - &buf[a])) {
11254bb1074Sjruoho 					fprintf(stderr, "a = %d, t = %d\n",
11354bb1074Sjruoho 					    a, t);
11454bb1074Sjruoho 					atf_tc_fail("char not found at "
11554bb1074Sjruoho 					    "correct offset");
11654bb1074Sjruoho 				}
11754bb1074Sjruoho 	    		} else {
11854bb1074Sjruoho 				fprintf(stderr, "a = %d, t = %d\n", a, t);
11954bb1074Sjruoho 				atf_tc_fail("Corrupt test case data");
12054bb1074Sjruoho 			}
12154bb1074Sjruoho 
12254bb1074Sjruoho 			/* check zero extension of char arg */
12354bb1074Sjruoho 			off2 = f(&buf[a], 0xffffff00 | '/', tab[t].len);
12454bb1074Sjruoho 			if (off2 != off)
12554bb1074Sjruoho 				atf_tc_fail("zero extension of char arg "
12654bb1074Sjruoho 				    "failed");
12754bb1074Sjruoho 		}
12854bb1074Sjruoho 	}
12954bb1074Sjruoho }
13054bb1074Sjruoho 
1315fb118d0Sjruoho ATF_TC(memchr_simple);
ATF_TC_HEAD(memchr_simple,tc)1325fb118d0Sjruoho ATF_TC_HEAD(memchr_simple, tc)
1335fb118d0Sjruoho {
1345fb118d0Sjruoho         atf_tc_set_md_var(tc, "descr", "Test memchr(3) results, #2");
1355fb118d0Sjruoho }
1365fb118d0Sjruoho 
ATF_TC_BODY(memchr_simple,tc)1375fb118d0Sjruoho ATF_TC_BODY(memchr_simple, tc)
1385fb118d0Sjruoho {
1395fb118d0Sjruoho 	char buf[] = "abcdefg";
1405fb118d0Sjruoho 	short i = 7;
1415fb118d0Sjruoho 
1425fb118d0Sjruoho 	ATF_CHECK(memchr(buf, 'a', 0) == NULL);
1435fb118d0Sjruoho 	ATF_CHECK(memchr(buf, 'g', 0) == NULL);
1445fb118d0Sjruoho 	ATF_CHECK(memchr(buf, 'x', 7) == NULL);
1455fb118d0Sjruoho 
1465fb118d0Sjruoho 	ATF_CHECK(memchr("\0", 'x', 0) == NULL);
1475fb118d0Sjruoho 	ATF_CHECK(memchr("\0", 'x', 1) == NULL);
1485fb118d0Sjruoho 
1495fb118d0Sjruoho 	while (i <= 14) {
1505fb118d0Sjruoho 
1515fb118d0Sjruoho 		ATF_CHECK(memchr(buf, 'a', i) == buf + 0);
1525fb118d0Sjruoho 		ATF_CHECK(memchr(buf, 'b', i) == buf + 1);
1535fb118d0Sjruoho 		ATF_CHECK(memchr(buf, 'c', i) == buf + 2);
1545fb118d0Sjruoho 		ATF_CHECK(memchr(buf, 'd', i) == buf + 3);
1555fb118d0Sjruoho 		ATF_CHECK(memchr(buf, 'e', i) == buf + 4);
1565fb118d0Sjruoho 		ATF_CHECK(memchr(buf, 'f', i) == buf + 5);
1575fb118d0Sjruoho 		ATF_CHECK(memchr(buf, 'g', i) == buf + 6);
1585fb118d0Sjruoho 
1595fb118d0Sjruoho 		i *= 2;
1605fb118d0Sjruoho 	}
1615fb118d0Sjruoho }
1625fb118d0Sjruoho 
1635fb118d0Sjruoho ATF_TC(memrchr_simple);
ATF_TC_HEAD(memrchr_simple,tc)1645fb118d0Sjruoho ATF_TC_HEAD(memrchr_simple, tc)
1655fb118d0Sjruoho {
1665fb118d0Sjruoho         atf_tc_set_md_var(tc, "descr", "Test memrchr(3) results");
1675fb118d0Sjruoho }
1685fb118d0Sjruoho 
ATF_TC_BODY(memrchr_simple,tc)1695fb118d0Sjruoho ATF_TC_BODY(memrchr_simple, tc)
1705fb118d0Sjruoho {
1715fb118d0Sjruoho 	char buf[] = "abcdabcd";
1725fb118d0Sjruoho 
1735fb118d0Sjruoho 	ATF_CHECK(memrchr(buf, 'a', 0) == NULL);
1745fb118d0Sjruoho 	ATF_CHECK(memrchr(buf, 'g', 0) == NULL);
1755fb118d0Sjruoho 	ATF_CHECK(memrchr(buf, 'x', 8) == NULL);
1765fb118d0Sjruoho 
1775fb118d0Sjruoho 	ATF_CHECK(memrchr("\0", 'x', 0) == NULL);
1785fb118d0Sjruoho 	ATF_CHECK(memrchr("\0", 'x', 1) == NULL);
1795fb118d0Sjruoho 
180*018955d4Sjruoho 	ATF_CHECK(memrchr(buf, 'a', 8) == buf + 4);
181*018955d4Sjruoho 	ATF_CHECK(memrchr(buf, 'b', 8) == buf + 5);
182*018955d4Sjruoho 	ATF_CHECK(memrchr(buf, 'c', 8) == buf + 6);
183*018955d4Sjruoho 	ATF_CHECK(memrchr(buf, 'd', 8) == buf + 7);
1845fb118d0Sjruoho }
1855fb118d0Sjruoho 
ATF_TP_ADD_TCS(tp)18654bb1074Sjruoho ATF_TP_ADD_TCS(tp)
18754bb1074Sjruoho {
18854bb1074Sjruoho 
18954bb1074Sjruoho 	ATF_TP_ADD_TC(tp, memchr_basic);
1905fb118d0Sjruoho 	ATF_TP_ADD_TC(tp, memchr_simple);
1915fb118d0Sjruoho 	ATF_TP_ADD_TC(tp, memrchr_simple);
19254bb1074Sjruoho 
19354bb1074Sjruoho 	return atf_no_error();
19454bb1074Sjruoho }
195