xref: /freebsd/lib/libc/tests/gen/fnmatch_test.c (revision af79566b9315dd5251b093b6237a6fa239351398)
1fbf5b9f8SEnji Cooper /*-
2fbf5b9f8SEnji Cooper  * Copyright (c) 2010 Jilles Tjoelker
3fbf5b9f8SEnji Cooper  * All rights reserved.
4fbf5b9f8SEnji Cooper  *
5fbf5b9f8SEnji Cooper  * Redistribution and use in source and binary forms, with or without
6fbf5b9f8SEnji Cooper  * modification, are permitted provided that the following conditions
7fbf5b9f8SEnji Cooper  * are met:
8fbf5b9f8SEnji Cooper  * 1. Redistributions of source code must retain the above copyright
9fbf5b9f8SEnji Cooper  *    notice, this list of conditions and the following disclaimer.
10fbf5b9f8SEnji Cooper  * 2. Redistributions in binary form must reproduce the above copyright
11fbf5b9f8SEnji Cooper  *    notice, this list of conditions and the following disclaimer in the
12fbf5b9f8SEnji Cooper  *    documentation and/or other materials provided with the distribution.
13fbf5b9f8SEnji Cooper  *
14fbf5b9f8SEnji Cooper  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
15fbf5b9f8SEnji Cooper  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
16fbf5b9f8SEnji Cooper  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
17fbf5b9f8SEnji Cooper  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
18fbf5b9f8SEnji Cooper  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
19fbf5b9f8SEnji Cooper  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
20fbf5b9f8SEnji Cooper  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
21fbf5b9f8SEnji Cooper  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
22fbf5b9f8SEnji Cooper  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
23fbf5b9f8SEnji Cooper  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
24fbf5b9f8SEnji Cooper  * SUCH DAMAGE.
25fbf5b9f8SEnji Cooper  */
26fbf5b9f8SEnji Cooper 
27fbf5b9f8SEnji Cooper #include <sys/param.h>
28fbf5b9f8SEnji Cooper #include <errno.h>
29*af79566bSBojan Novković #include <locale.h>
30fbf5b9f8SEnji Cooper #include <stdio.h>
31fbf5b9f8SEnji Cooper #include <stdlib.h>
32fbf5b9f8SEnji Cooper #include <string.h>
33fbf5b9f8SEnji Cooper #include <unistd.h>
34fbf5b9f8SEnji Cooper 
35fbf5b9f8SEnji Cooper #include <atf-c.h>
36fbf5b9f8SEnji Cooper 
37fbf5b9f8SEnji Cooper #include "fnmatch_testcases.h"
38fbf5b9f8SEnji Cooper 
39fbf5b9f8SEnji Cooper static const char *
flags_to_string(int flags)40fbf5b9f8SEnji Cooper flags_to_string(int flags)
41fbf5b9f8SEnji Cooper {
42fbf5b9f8SEnji Cooper 	static const int flagvalues[] = { FNM_NOESCAPE, FNM_PATHNAME,
43fbf5b9f8SEnji Cooper 		FNM_PERIOD, FNM_LEADING_DIR, FNM_CASEFOLD, 0 };
44fbf5b9f8SEnji Cooper 	static const char flagnames[] = "FNM_NOESCAPE\0FNM_PATHNAME\0FNM_PERIOD\0FNM_LEADING_DIR\0FNM_CASEFOLD\0";
45fbf5b9f8SEnji Cooper 	static char result[sizeof(flagnames) + 3 * sizeof(int) + 2];
46fbf5b9f8SEnji Cooper 	char *p;
47fbf5b9f8SEnji Cooper 	size_t i, len;
48fbf5b9f8SEnji Cooper 	const char *fp;
49fbf5b9f8SEnji Cooper 
50fbf5b9f8SEnji Cooper 	p = result;
51fbf5b9f8SEnji Cooper 	fp = flagnames;
52fbf5b9f8SEnji Cooper 	for (i = 0; flagvalues[i] != 0; i++) {
53fbf5b9f8SEnji Cooper 		len = strlen(fp);
54fbf5b9f8SEnji Cooper 		if (flags & flagvalues[i]) {
55fbf5b9f8SEnji Cooper 			if (p != result)
56fbf5b9f8SEnji Cooper 				*p++ = '|';
57fbf5b9f8SEnji Cooper 			memcpy(p, fp, len);
58fbf5b9f8SEnji Cooper 			p += len;
59fbf5b9f8SEnji Cooper 			flags &= ~flagvalues[i];
60fbf5b9f8SEnji Cooper 		}
61fbf5b9f8SEnji Cooper 		fp += len + 1;
62fbf5b9f8SEnji Cooper 	}
63fbf5b9f8SEnji Cooper 	if (p == result)
64fbf5b9f8SEnji Cooper 		memcpy(p, "0", 2);
65fbf5b9f8SEnji Cooper 	else if (flags != 0)
66fbf5b9f8SEnji Cooper 		sprintf(p, "%d", flags);
67fbf5b9f8SEnji Cooper 	else
68fbf5b9f8SEnji Cooper 		*p = '\0';
69fbf5b9f8SEnji Cooper 	return result;
70fbf5b9f8SEnji Cooper }
71fbf5b9f8SEnji Cooper 
72fbf5b9f8SEnji Cooper ATF_TC_WITHOUT_HEAD(fnmatch_test);
ATF_TC_BODY(fnmatch_test,tc)73fbf5b9f8SEnji Cooper ATF_TC_BODY(fnmatch_test, tc)
74fbf5b9f8SEnji Cooper {
75fbf5b9f8SEnji Cooper 	size_t i;
76fbf5b9f8SEnji Cooper 	int flags, result;
77fbf5b9f8SEnji Cooper 	struct testcase *t;
78fbf5b9f8SEnji Cooper 
79fbf5b9f8SEnji Cooper 	for (i = 0; i < nitems(testcases); i++) {
80fbf5b9f8SEnji Cooper 		t = &testcases[i];
81fbf5b9f8SEnji Cooper 		flags = t->flags;
82fbf5b9f8SEnji Cooper 		do {
83fbf5b9f8SEnji Cooper 			result = fnmatch(t->pattern, t->string, flags);
84fbf5b9f8SEnji Cooper 			if (result != t->result)
85fbf5b9f8SEnji Cooper 				break;
86fbf5b9f8SEnji Cooper 			if (strchr(t->pattern, '\\') == NULL &&
87fbf5b9f8SEnji Cooper 			    !(flags & FNM_NOESCAPE)) {
88fbf5b9f8SEnji Cooper 				flags |= FNM_NOESCAPE;
89fbf5b9f8SEnji Cooper 				result = fnmatch(t->pattern, t->string, flags);
90fbf5b9f8SEnji Cooper 				if (result != t->result)
91fbf5b9f8SEnji Cooper 					break;
92fbf5b9f8SEnji Cooper 				flags = t->flags;
93fbf5b9f8SEnji Cooper 			}
94fbf5b9f8SEnji Cooper 			if (strchr(t->pattern, '\\') != NULL &&
95fbf5b9f8SEnji Cooper 			    strchr(t->string, '\\') == NULL &&
96fbf5b9f8SEnji Cooper 			    t->result == FNM_NOMATCH &&
97fbf5b9f8SEnji Cooper 			    !(flags & (FNM_NOESCAPE | FNM_LEADING_DIR))) {
98fbf5b9f8SEnji Cooper 				flags |= FNM_NOESCAPE;
99fbf5b9f8SEnji Cooper 				result = fnmatch(t->pattern, t->string, flags);
100fbf5b9f8SEnji Cooper 				if (result != t->result)
101fbf5b9f8SEnji Cooper 					break;
102fbf5b9f8SEnji Cooper 				flags = t->flags;
103fbf5b9f8SEnji Cooper 			}
104fbf5b9f8SEnji Cooper 			if ((t->string[0] != '.' || t->pattern[0] == '.' ||
105fbf5b9f8SEnji Cooper 			    t->result == FNM_NOMATCH) &&
106fbf5b9f8SEnji Cooper 			    !(flags & (FNM_PATHNAME | FNM_PERIOD))) {
107fbf5b9f8SEnji Cooper 				flags |= FNM_PERIOD;
108fbf5b9f8SEnji Cooper 				result = fnmatch(t->pattern, t->string, flags);
109fbf5b9f8SEnji Cooper 				if (result != t->result)
110fbf5b9f8SEnji Cooper 					break;
111fbf5b9f8SEnji Cooper 				flags = t->flags;
112fbf5b9f8SEnji Cooper 			}
113fbf5b9f8SEnji Cooper 			if ((strchr(t->string, '/') == NULL ||
114fbf5b9f8SEnji Cooper 			    t->result == FNM_NOMATCH) &&
115fbf5b9f8SEnji Cooper 			    !(flags & FNM_PATHNAME)) {
116fbf5b9f8SEnji Cooper 				flags |= FNM_PATHNAME;
117fbf5b9f8SEnji Cooper 				result = fnmatch(t->pattern, t->string, flags);
118fbf5b9f8SEnji Cooper 				if (result != t->result)
119fbf5b9f8SEnji Cooper 					break;
120fbf5b9f8SEnji Cooper 				flags = t->flags;
121fbf5b9f8SEnji Cooper 			}
122fbf5b9f8SEnji Cooper 			if ((((t->string[0] != '.' || t->pattern[0] == '.') &&
123fbf5b9f8SEnji Cooper 			    strstr(t->string, "/.") == NULL) ||
124fbf5b9f8SEnji Cooper 			    t->result == FNM_NOMATCH) &&
125fbf5b9f8SEnji Cooper 			    flags & FNM_PATHNAME && !(flags & FNM_PERIOD)) {
126fbf5b9f8SEnji Cooper 				flags |= FNM_PERIOD;
127fbf5b9f8SEnji Cooper 				result = fnmatch(t->pattern, t->string, flags);
128fbf5b9f8SEnji Cooper 				if (result != t->result)
129fbf5b9f8SEnji Cooper 					break;
130fbf5b9f8SEnji Cooper 				flags = t->flags;
131fbf5b9f8SEnji Cooper 			}
132fbf5b9f8SEnji Cooper 			if ((((t->string[0] != '.' || t->pattern[0] == '.') &&
133fbf5b9f8SEnji Cooper 			    strchr(t->string, '/') == NULL) ||
134fbf5b9f8SEnji Cooper 			    t->result == FNM_NOMATCH) &&
135fbf5b9f8SEnji Cooper 			    !(flags & (FNM_PATHNAME | FNM_PERIOD))) {
136fbf5b9f8SEnji Cooper 				flags |= FNM_PATHNAME | FNM_PERIOD;
137fbf5b9f8SEnji Cooper 				result = fnmatch(t->pattern, t->string, flags);
138fbf5b9f8SEnji Cooper 				if (result != t->result)
139fbf5b9f8SEnji Cooper 					break;
140fbf5b9f8SEnji Cooper 				flags = t->flags;
141fbf5b9f8SEnji Cooper 			}
142fbf5b9f8SEnji Cooper 			if ((strchr(t->string, '/') == NULL || t->result == 0)
143fbf5b9f8SEnji Cooper 			    && !(flags & FNM_LEADING_DIR)) {
144fbf5b9f8SEnji Cooper 				flags |= FNM_LEADING_DIR;
145fbf5b9f8SEnji Cooper 				result = fnmatch(t->pattern, t->string, flags);
146fbf5b9f8SEnji Cooper 				if (result != t->result)
147fbf5b9f8SEnji Cooper 					break;
148fbf5b9f8SEnji Cooper 				flags = t->flags;
149fbf5b9f8SEnji Cooper 			}
150fbf5b9f8SEnji Cooper 			if (t->result == 0 && !(flags & FNM_CASEFOLD)) {
151fbf5b9f8SEnji Cooper 				flags |= FNM_CASEFOLD;
152fbf5b9f8SEnji Cooper 				result = fnmatch(t->pattern, t->string, flags);
153fbf5b9f8SEnji Cooper 				if (result != t->result)
154fbf5b9f8SEnji Cooper 					break;
155fbf5b9f8SEnji Cooper 				flags = t->flags;
156fbf5b9f8SEnji Cooper 			}
157fbf5b9f8SEnji Cooper 			if (strchr(t->pattern, '\\') == NULL &&
158fbf5b9f8SEnji Cooper 			    t->result == 0 &&
159fbf5b9f8SEnji Cooper 			    !(flags & (FNM_NOESCAPE | FNM_CASEFOLD))) {
160fbf5b9f8SEnji Cooper 				flags |= FNM_NOESCAPE | FNM_CASEFOLD;
161fbf5b9f8SEnji Cooper 				result = fnmatch(t->pattern, t->string, flags);
162fbf5b9f8SEnji Cooper 				if (result != t->result)
163fbf5b9f8SEnji Cooper 					break;
164fbf5b9f8SEnji Cooper 				flags = t->flags;
165fbf5b9f8SEnji Cooper 			}
166fbf5b9f8SEnji Cooper 		} while (0);
167fbf5b9f8SEnji Cooper 
168fbf5b9f8SEnji Cooper 		ATF_CHECK(result == t->result);
169fbf5b9f8SEnji Cooper 		if (result == t->result)
170fbf5b9f8SEnji Cooper 			printf("fnmatch(\"%s\", \"%s\", %s) == %d\n",
171fbf5b9f8SEnji Cooper 			    t->pattern, t->string, flags_to_string(flags), result);
172fbf5b9f8SEnji Cooper 		else
173fbf5b9f8SEnji Cooper 			printf("fnmatch(\"%s\", \"%s\", %s) != %d (was %d)\n",
174fbf5b9f8SEnji Cooper 			    t->pattern, t->string, flags_to_string(flags),
175fbf5b9f8SEnji Cooper 			    t->result, result);
176fbf5b9f8SEnji Cooper 	}
177fbf5b9f8SEnji Cooper 
178fbf5b9f8SEnji Cooper }
179fbf5b9f8SEnji Cooper 
180*af79566bSBojan Novković ATF_TC(fnmatch_characterclass);
ATF_TC_HEAD(fnmatch_characterclass,tc)181*af79566bSBojan Novković ATF_TC_HEAD(fnmatch_characterclass, tc)
182*af79566bSBojan Novković {
183*af79566bSBojan Novković 	atf_tc_set_md_var(tc, "descr", "Test fnmatch with character classes");
184*af79566bSBojan Novković }
185*af79566bSBojan Novković 
ATF_TC_BODY(fnmatch_characterclass,tc)186*af79566bSBojan Novković ATF_TC_BODY(fnmatch_characterclass, tc)
187*af79566bSBojan Novković {
188*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[[:alnum:]]", "a", 0) == 0);
189*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[[:cntrl:]]", "\a", 0) == 0);
190*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[[:lower:]]", "a", 0) == 0);
191*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[[:space:]]", " ", 0) == 0);
192*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[[:alpha:]]", "a", 0) == 0);
193*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[[:digit:]]", "0", 0) == 0);
194*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[[:print:]]", "a", 0) == 0);
195*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[[:upper:]]", "A", 0) == 0);
196*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[[:blank:]]", " ", 0) == 0);
197*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[[:graph:]]", "a", 0) == 0);
198*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[[:punct:]]", ".", 0) == 0);
199*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[[:xdigit:]]", "f", 0) == 0);
200*af79566bSBojan Novković 
201*af79566bSBojan Novković 	/*
202*af79566bSBojan Novković 	 * POSIX.1, section 9.3.5. states that '[:' and ':]'
203*af79566bSBojan Novković 	 * should be interpreted as character classes symbol only
204*af79566bSBojan Novković 	 * when part of a bracket expression.
205*af79566bSBojan Novković 	 */
206*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[:alnum:]", "a", 0) == 0);
207*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[:alnum:]", ":", 0) == 0);
208*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[:alnum:]", "1", 0) != 0);
209*af79566bSBojan Novković }
210*af79566bSBojan Novković 
211*af79566bSBojan Novković ATF_TC(fnmatch_collsym);
ATF_TC_HEAD(fnmatch_collsym,tc)212*af79566bSBojan Novković ATF_TC_HEAD(fnmatch_collsym, tc)
213*af79566bSBojan Novković {
214*af79566bSBojan Novković 	atf_tc_set_md_var(tc, "descr", "Test fnmatch with collating symbols");
215*af79566bSBojan Novković }
216*af79566bSBojan Novković 
ATF_TC_BODY(fnmatch_collsym,tc)217*af79566bSBojan Novković ATF_TC_BODY(fnmatch_collsym, tc)
218*af79566bSBojan Novković {
219*af79566bSBojan Novković 	setlocale(LC_ALL, "cs_CZ.UTF-8");
220*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[ch]", "ch", 0) != 0);
221*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[[.ch.]]", "ch", 0) == 0);
222*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[[.ch.]]h", "chh", 0) == 0);
223*af79566bSBojan Novković 
224*af79566bSBojan Novković 	/*
225*af79566bSBojan Novković 	 * POSIX.1, section 9.3.5. states that '[.' and '.]'
226*af79566bSBojan Novković 	 * should be interpreted as a collating symbol only
227*af79566bSBojan Novković 	 * when part of a bracket expression.
228*af79566bSBojan Novković 	 */
229*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[.ch.]", "c", 0) == 0);
230*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[.ch.]", "h", 0) == 0);
231*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[.ch.]", ".", 0) == 0);
232*af79566bSBojan Novković }
233*af79566bSBojan Novković 
234*af79566bSBojan Novković ATF_TC(fnmatch_equivclass);
ATF_TC_HEAD(fnmatch_equivclass,tc)235*af79566bSBojan Novković ATF_TC_HEAD(fnmatch_equivclass, tc)
236*af79566bSBojan Novković {
237*af79566bSBojan Novković 	atf_tc_set_md_var(tc, "descr", "Test fnmatch with equivalence classes");
238*af79566bSBojan Novković }
239*af79566bSBojan Novković 
ATF_TC_BODY(fnmatch_equivclass,tc)240*af79566bSBojan Novković ATF_TC_BODY(fnmatch_equivclass, tc)
241*af79566bSBojan Novković {
242*af79566bSBojan Novković 	setlocale(LC_ALL, "en_US.UTF-8");
243*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[[=a=]]b", "ab", 0) == 0);
244*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[[=a=]]b", "Ab", 0) == 0);
245*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[[=à=]]b", "ab", 0) == 0);
246*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[[=a=]]b", "àb", 0) == 0);
247*af79566bSBojan Novković 
248*af79566bSBojan Novković 	/*
249*af79566bSBojan Novković 	 * POSIX.1, section 9.3.5. states that '[=' and '=]'
250*af79566bSBojan Novković 	 * should be interpreted as an equivalence class only
251*af79566bSBojan Novković 	 * when part of a bracket expression.
252*af79566bSBojan Novković 	 */
253*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[=a=]b", "=b", 0) == 0);
254*af79566bSBojan Novković 	ATF_CHECK(fnmatch("[=a=]b", "ab", 0) == 0);
255*af79566bSBojan Novković }
256*af79566bSBojan Novković 
ATF_TP_ADD_TCS(tp)257fbf5b9f8SEnji Cooper ATF_TP_ADD_TCS(tp)
258fbf5b9f8SEnji Cooper {
259fbf5b9f8SEnji Cooper 
260fbf5b9f8SEnji Cooper 	ATF_TP_ADD_TC(tp, fnmatch_test);
261*af79566bSBojan Novković 	ATF_TP_ADD_TC(tp, fnmatch_collsym);
262*af79566bSBojan Novković 	ATF_TP_ADD_TC(tp, fnmatch_characterclass);
263*af79566bSBojan Novković 	ATF_TP_ADD_TC(tp, fnmatch_equivclass);
264fbf5b9f8SEnji Cooper 
265fbf5b9f8SEnji Cooper 	return (atf_no_error());
266fbf5b9f8SEnji Cooper }
267