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