xref: /PHP-5.3/ext/ereg/regex/tests (revision aa3eee1d)
1# regular expression test set
2# Lines are at least three fields, separated by one or more tabs.  "" stands
3# for an empty field.  First field is an RE.  Second field is flags.  If
4# C flag given, regcomp() is expected to fail, and the third field is the
5# error name (minus the leading REG_).
6#
7# Otherwise it is expected to succeed, and the third field is the string to
8# try matching it against.  If there is no fourth field, the match is
9# expected to fail.  If there is a fourth field, it is the substring that
10# the RE is expected to match.  If there is a fifth field, it is a comma-
11# separated list of what the subexpressions should match, with - indicating
12# no match for that one.  In both the fourth and fifth fields, a (sub)field
13# starting with @ indicates that the (sub)expression is expected to match
14# a null string followed by the stuff after the @; this provides a way to
15# test where null strings match.  The character `N' in REs and strings
16# is newline, `S' is space, `T' is tab, `Z' is NUL.
17#
18# The full list of flags:
19#	-	placeholder, does nothing
20#	b	RE is a BRE, not an ERE
21#	&	try it as both an ERE and a BRE
22#	C	regcomp() error expected, third field is error name
23#	i	REG_ICASE
24#	m	("mundane") REG_NOSPEC
25#	s	REG_NOSUB (not really testable)
26#	n	REG_NEWLINE
27#	^	REG_NOTBOL
28#	$	REG_NOTEOL
29#	#	REG_STARTEND (see below)
30#	p	REG_PEND
31#
32# For REG_STARTEND, the start/end offsets are those of the substring
33# enclosed in ().
34
35# basics
36a		&	a	a
37abc		&	abc	abc
38abc|de		-	abc	abc
39a|b|c		-	abc	a
40
41# parentheses and perversions thereof
42a(b)c		-	abc	abc
43a\(b\)c		b	abc	abc
44a(		C	EPAREN
45a(		b	a(	a(
46a\(		-	a(	a(
47a\(		bC	EPAREN
48a\(b		bC	EPAREN
49a(b		C	EPAREN
50a(b		b	a(b	a(b
51# gag me with a right parenthesis -- 1003.2 goofed here (my fault, partly)
52a)		-	a)	a)
53)		-	)	)
54# end gagging (in a just world, those *should* give EPAREN)
55a)		b	a)	a)
56a\)		bC	EPAREN
57\)		bC	EPAREN
58a()b		-	ab	ab
59a\(\)b		b	ab	ab
60
61# anchoring and REG_NEWLINE
62^abc$		&	abc	abc
63a^b		-	a^b
64a^b		b	a^b	a^b
65a$b		-	a$b
66a$b		b	a$b	a$b
67^		&	abc	@abc
68$		&	abc	@
69^$		&	""	@
70$^		-	""	@
71\($\)\(^\)	b	""	@
72# stop retching, those are legitimate (although disgusting)
73^^		-	""	@
74$$		-	""	@
75b$		&	abNc
76b$		&n	abNc	b
77^b$		&	aNbNc
78^b$		&n	aNbNc	b
79^$		&n	aNNb	@Nb
80^$		n	abc
81^$		n	abcN	@
82$^		n	aNNb	@Nb
83\($\)\(^\)	bn	aNNb	@Nb
84^^		n^	aNNb	@Nb
85$$		n	aNNb	@NN
86^a		^	a
87a$		$	a
88^a		^n	aNb
89^b		^n	aNb	b
90a$		$n	bNa
91b$		$n	bNa	b
92a*(^b$)c*	-	b	b
93a*\(^b$\)c*	b	b	b
94
95# certain syntax errors and non-errors
96|		C	EMPTY
97|		b	|	|
98*		C	BADRPT
99*		b	*	*
100+		C	BADRPT
101?		C	BADRPT
102""		&C	EMPTY
103()		-	abc	@abc
104\(\)		b	abc	@abc
105a||b		C	EMPTY
106|ab		C	EMPTY
107ab|		C	EMPTY
108(|a)b		C	EMPTY
109(a|)b		C	EMPTY
110(*a)		C	BADRPT
111(+a)		C	BADRPT
112(?a)		C	BADRPT
113({1}a)		C	BADRPT
114\(\{1\}a\)	bC	BADRPT
115(a|*b)		C	BADRPT
116(a|+b)		C	BADRPT
117(a|?b)		C	BADRPT
118(a|{1}b)	C	BADRPT
119^*		C	BADRPT
120^*		b	*	*
121^+		C	BADRPT
122^?		C	BADRPT
123^{1}		C	BADRPT
124^\{1\}		bC	BADRPT
125
126# metacharacters, backslashes
127a.c		&	abc	abc
128a[bc]d		&	abd	abd
129a\*c		&	a*c	a*c
130a\\b		&	a\b	a\b
131a\\\*b		&	a\*b	a\*b
132a\bc		&	abc	abc
133a\		&C	EESCAPE
134a\\bc		&	a\bc	a\bc
135\{		bC	BADRPT
136a\[b		&	a[b	a[b
137a[b		&C	EBRACK
138# trailing $ is a peculiar special case for the BRE code
139a$		&	a	a
140a$		&	a$
141a\$		&	a
142a\$		&	a$	a$
143a\\$		&	a
144a\\$		&	a$
145a\\$		&	a\$
146a\\$		&	a\	a\
147
148# back references, ugh
149a\(b\)\2c	bC	ESUBREG
150a\(b\1\)c	bC	ESUBREG
151a\(b*\)c\1d	b	abbcbbd	abbcbbd	bb
152a\(b*\)c\1d	b	abbcbd
153a\(b*\)c\1d	b	abbcbbbd
154^\(.\)\1	b	abc
155a\([bc]\)\1d	b	abcdabbd	abbd	b
156a\(\([bc]\)\2\)*d	b	abbccd	abbccd
157a\(\([bc]\)\2\)*d	b	abbcbd
158# actually, this next one probably ought to fail, but the spec is unclear
159a\(\(b\)*\2\)*d		b	abbbd	abbbd
160# here is a case that no NFA implementation does right
161\(ab*\)[ab]*\1	b	ababaaa	ababaaa	a
162# check out normal matching in the presence of back refs
163\(a\)\1bcd	b	aabcd	aabcd
164\(a\)\1bc*d	b	aabcd	aabcd
165\(a\)\1bc*d	b	aabd	aabd
166\(a\)\1bc*d	b	aabcccd	aabcccd
167\(a\)\1bc*[ce]d	b	aabcccd	aabcccd
168^\(a\)\1b\(c\)*cd$	b	aabcccd	aabcccd
169
170# ordinary repetitions
171ab*c		&	abc	abc
172ab+c		-	abc	abc
173ab?c		-	abc	abc
174a\(*\)b		b	a*b	a*b
175a\(**\)b	b	ab	ab
176a\(***\)b	bC	BADRPT
177*a		b	*a	*a
178**a		b	a	a
179***a		bC	BADRPT
180
181# the dreaded bounded repetitions
182{		&	{	{
183{abc		&	{abc	{abc
184{1		C	BADRPT
185{1}		C	BADRPT
186a{b		&	a{b	a{b
187a{1}b		-	ab	ab
188a\{1\}b		b	ab	ab
189a{1,}b		-	ab	ab
190a\{1,\}b	b	ab	ab
191a{1,2}b		-	aab	aab
192a\{1,2\}b	b	aab	aab
193a{1		C	EBRACE
194a\{1		bC	EBRACE
195a{1a		C	EBRACE
196a\{1a		bC	EBRACE
197a{1a}		C	BADBR
198a\{1a\}		bC	BADBR
199a{,2}		-	a{,2}	a{,2}
200a\{,2\}		bC	BADBR
201a{,}		-	a{,}	a{,}
202a\{,\}		bC	BADBR
203a{1,x}		C	BADBR
204a\{1,x\}	bC	BADBR
205a{1,x		C	EBRACE
206a\{1,x		bC	EBRACE
207a{300}		C	BADBR
208a\{300\}	bC	BADBR
209a{1,0}		C	BADBR
210a\{1,0\}	bC	BADBR
211ab{0,0}c	-	abcac	ac
212ab\{0,0\}c	b	abcac	ac
213ab{0,1}c	-	abcac	abc
214ab\{0,1\}c	b	abcac	abc
215ab{0,3}c	-	abbcac	abbc
216ab\{0,3\}c	b	abbcac	abbc
217ab{1,1}c	-	acabc	abc
218ab\{1,1\}c	b	acabc	abc
219ab{1,3}c	-	acabc	abc
220ab\{1,3\}c	b	acabc	abc
221ab{2,2}c	-	abcabbc	abbc
222ab\{2,2\}c	b	abcabbc	abbc
223ab{2,4}c	-	abcabbc	abbc
224ab\{2,4\}c	b	abcabbc	abbc
225((a{1,10}){1,10}){1,10}	-	a	a	a,a
226
227# multiple repetitions
228a**		&C	BADRPT
229a++		C	BADRPT
230a??		C	BADRPT
231a*+		C	BADRPT
232a*?		C	BADRPT
233a+*		C	BADRPT
234a+?		C	BADRPT
235a?*		C	BADRPT
236a?+		C	BADRPT
237a{1}{1}		C	BADRPT
238a*{1}		C	BADRPT
239a+{1}		C	BADRPT
240a?{1}		C	BADRPT
241a{1}*		C	BADRPT
242a{1}+		C	BADRPT
243a{1}?		C	BADRPT
244a*{b}		-	a{b}	a{b}
245a\{1\}\{1\}	bC	BADRPT
246a*\{1\}		bC	BADRPT
247a\{1\}*		bC	BADRPT
248
249# brackets, and numerous perversions thereof
250a[b]c		&	abc	abc
251a[ab]c		&	abc	abc
252a[^ab]c		&	adc	adc
253a[]b]c		&	a]c	a]c
254a[[b]c		&	a[c	a[c
255a[-b]c		&	a-c	a-c
256a[^]b]c		&	adc	adc
257a[^-b]c		&	adc	adc
258a[b-]c		&	a-c	a-c
259a[b		&C	EBRACK
260a[]		&C	EBRACK
261a[1-3]c		&	a2c	a2c
262a[3-1]c		&C	ERANGE
263a[1-3-5]c	&C	ERANGE
264a[[.-.]--]c	&	a-c	a-c
265a[1-		&C	ERANGE
266a[[.		&C	EBRACK
267a[[.x		&C	EBRACK
268a[[.x.		&C	EBRACK
269a[[.x.]		&C	EBRACK
270a[[.x.]]	&	ax	ax
271a[[.x,.]]	&C	ECOLLATE
272a[[.one.]]b	&	a1b	a1b
273a[[.notdef.]]b	&C	ECOLLATE
274a[[.].]]b	&	a]b	a]b
275a[[:alpha:]]c	&	abc	abc
276a[[:notdef:]]c	&C	ECTYPE
277a[[:		&C	EBRACK
278a[[:alpha	&C	EBRACK
279a[[:alpha:]	&C	EBRACK
280a[[:alpha,:]	&C	ECTYPE
281a[[:]:]]b	&C	ECTYPE
282a[[:-:]]b	&C	ECTYPE
283a[[:alph:]]	&C	ECTYPE
284a[[:alphabet:]]	&C	ECTYPE
285[[:alnum:]]+	-	-%@a0X-	a0X
286[[:alpha:]]+	-	-%@aX0-	aX
287[[:blank:]]+	-	aSSTb	SST
288[[:cntrl:]]+	-	aNTb	NT
289[[:digit:]]+	-	a019b	019
290[[:graph:]]+	-	Sa%bS	a%b
291[[:lower:]]+	-	AabC	ab
292[[:print:]]+	-	NaSbN	aSb
293[[:punct:]]+	-	S%-&T	%-&
294[[:space:]]+	-	aSNTb	SNT
295[[:upper:]]+	-	aBCd	BC
296[[:xdigit:]]+	-	p0f3Cq	0f3C
297a[[=b=]]c	&	abc	abc
298a[[=		&C	EBRACK
299a[[=b		&C	EBRACK
300a[[=b=		&C	EBRACK
301a[[=b=]		&C	EBRACK
302a[[=b,=]]	&C	ECOLLATE
303a[[=one=]]b	&	a1b	a1b
304
305# complexities
306a(((b)))c	-	abc	abc
307a(b|(c))d	-	abd	abd
308a(b*|c)d	-	abbd	abbd
309# just gotta have one DFA-buster, of course
310a[ab]{20}	-	aaaaabaaaabaaaabaaaab	aaaaabaaaabaaaabaaaab
311# and an inline expansion in case somebody gets tricky
312a[ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab]	-	aaaaabaaaabaaaabaaaab	aaaaabaaaabaaaabaaaab
313# and in case somebody just slips in an NFA...
314a[ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab](wee|week)(knights|night)	-	aaaaabaaaabaaaabaaaabweeknights	aaaaabaaaabaaaabaaaabweeknights
315# fish for anomalies as the number of states passes 32
31612345678901234567890123456789	-	a12345678901234567890123456789b	12345678901234567890123456789
317123456789012345678901234567890	-	a123456789012345678901234567890b	123456789012345678901234567890
3181234567890123456789012345678901	-	a1234567890123456789012345678901b	1234567890123456789012345678901
31912345678901234567890123456789012	-	a12345678901234567890123456789012b	12345678901234567890123456789012
320123456789012345678901234567890123	-	a123456789012345678901234567890123b	123456789012345678901234567890123
321# and one really big one, beyond any plausible word width
3221234567890123456789012345678901234567890123456789012345678901234567890	-	a1234567890123456789012345678901234567890123456789012345678901234567890b	1234567890123456789012345678901234567890123456789012345678901234567890
323# fish for problems as brackets go past 8
324[ab][cd][ef][gh][ij][kl][mn]	-	xacegikmoq	acegikm
325[ab][cd][ef][gh][ij][kl][mn][op]	-	xacegikmoq	acegikmo
326[ab][cd][ef][gh][ij][kl][mn][op][qr]	-	xacegikmoqy	acegikmoq
327[ab][cd][ef][gh][ij][kl][mn][op][q]	-	xacegikmoqy	acegikmoq
328
329# subtleties of matching
330abc		&	xabcy	abc
331a\(b\)?c\1d	b	acd
332aBc		i	Abc	Abc
333a[Bc]*d		i	abBCcd	abBCcd
3340[[:upper:]]1	&i	0a1	0a1
3350[[:lower:]]1	&i	0A1	0A1
336a[^b]c		&i	abc
337a[^b]c		&i	aBc
338a[^b]c		&i	adc	adc
339[a]b[c]		-	abc	abc
340[a]b[a]		-	aba	aba
341[abc]b[abc]	-	abc	abc
342[abc]b[abd]	-	abd	abd
343a(b?c)+d	-	accd	accd
344(wee|week)(knights|night)	-	weeknights	weeknights
345(we|wee|week|frob)(knights|night|day)	-	weeknights	weeknights
346a[bc]d		-	xyzaaabcaababdacd	abd
347a[ab]c		-	aaabc	abc
348abc		s	abc	abc
349a*		&	b	@b
350
351# Let's have some fun -- try to match a C comment.
352# first the obvious, which looks okay at first glance...
353/\*.*\*/	-	/*x*/	/*x*/
354# but...
355/\*.*\*/	-	/*x*/y/*z*/	/*x*/y/*z*/
356# okay, we must not match */ inside; try to do that...
357/\*([^*]|\*[^/])*\*/	-	/*x*/	/*x*/
358/\*([^*]|\*[^/])*\*/	-	/*x*/y/*z*/	/*x*/
359# but...
360/\*([^*]|\*[^/])*\*/	-	/*x**/y/*z*/	/*x**/y/*z*/
361# and a still fancier version, which does it right (I think)...
362/\*([^*]|\*+[^*/])*\*+/	-	/*x*/	/*x*/
363/\*([^*]|\*+[^*/])*\*+/	-	/*x*/y/*z*/	/*x*/
364/\*([^*]|\*+[^*/])*\*+/	-	/*x**/y/*z*/	/*x**/
365/\*([^*]|\*+[^*/])*\*+/	-	/*x****/y/*z*/	/*x****/
366/\*([^*]|\*+[^*/])*\*+/	-	/*x**x*/y/*z*/	/*x**x*/
367/\*([^*]|\*+[^*/])*\*+/	-	/*x***x/y/*z*/	/*x***x/y/*z*/
368
369# subexpressions
370a(b)(c)d	-	abcd	abcd	b,c
371a(((b)))c	-	abc	abc	b,b,b
372a(b|(c))d	-	abd	abd	b,-
373a(b*|c|e)d	-	abbd	abbd	bb
374a(b*|c|e)d	-	acd	acd	c
375a(b*|c|e)d	-	ad	ad	@d
376a(b?)c		-	abc	abc	b
377a(b?)c		-	ac	ac	@c
378a(b+)c		-	abc	abc	b
379a(b+)c		-	abbbc	abbbc	bbb
380a(b*)c		-	ac	ac	@c
381(a|ab)(bc([de]+)f|cde)	-	abcdef	abcdef	a,bcdef,de
382# the regression tester only asks for 9 subexpressions
383a(b)(c)(d)(e)(f)(g)(h)(i)(j)k	-	abcdefghijk	abcdefghijk	b,c,d,e,f,g,h,i,j
384a(b)(c)(d)(e)(f)(g)(h)(i)(j)(k)l	-	abcdefghijkl	abcdefghijkl	b,c,d,e,f,g,h,i,j,k
385a([bc]?)c	-	abc	abc	b
386a([bc]?)c	-	ac	ac	@c
387a([bc]+)c	-	abc	abc	b
388a([bc]+)c	-	abcc	abcc	bc
389a([bc]+)bc	-	abcbc	abcbc	bc
390a(bb+|b)b	-	abb	abb	b
391a(bbb+|bb+|b)b	-	abb	abb	b
392a(bbb+|bb+|b)b	-	abbb	abbb	bb
393a(bbb+|bb+|b)bb	-	abbb	abbb	b
394(.*).*		-	abcdef	abcdef	abcdef
395(a*)*		-	bc	@b	@b
396
397# do we get the right subexpression when it is used more than once?
398a(b|c)*d	-	ad	ad	-
399a(b|c)*d	-	abcd	abcd	c
400a(b|c)+d	-	abd	abd	b
401a(b|c)+d	-	abcd	abcd	c
402a(b|c?)+d	-	ad	ad	@d
403a(b|c?)+d	-	abcd	abcd	@d
404a(b|c){0,0}d	-	ad	ad	-
405a(b|c){0,1}d	-	ad	ad	-
406a(b|c){0,1}d	-	abd	abd	b
407a(b|c){0,2}d	-	ad	ad	-
408a(b|c){0,2}d	-	abcd	abcd	c
409a(b|c){0,}d	-	ad	ad	-
410a(b|c){0,}d	-	abcd	abcd	c
411a(b|c){1,1}d	-	abd	abd	b
412a(b|c){1,1}d	-	acd	acd	c
413a(b|c){1,2}d	-	abd	abd	b
414a(b|c){1,2}d	-	abcd	abcd	c
415a(b|c){1,}d	-	abd	abd	b
416a(b|c){1,}d	-	abcd	abcd	c
417a(b|c){2,2}d	-	acbd	acbd	b
418a(b|c){2,2}d	-	abcd	abcd	c
419a(b|c){2,4}d	-	abcd	abcd	c
420a(b|c){2,4}d	-	abcbd	abcbd	b
421a(b|c){2,4}d	-	abcbcd	abcbcd	c
422a(b|c){2,}d	-	abcd	abcd	c
423a(b|c){2,}d	-	abcbd	abcbd	b
424a(b+|((c)*))+d	-	abd	abd	@d,@d,-
425a(b+|((c)*))+d	-	abcd	abcd	@d,@d,-
426
427# check out the STARTEND option
428[abc]		&#	a(b)c	b
429[abc]		&#	a(d)c
430[abc]		&#	a(bc)d	b
431[abc]		&#	a(dc)d	c
432.		&#	a()c
433b.*c		&#	b(bc)c	bc
434b.*		&#	b(bc)c	bc
435.*c		&#	b(bc)c	bc
436
437# plain strings, with the NOSPEC flag
438abc		m	abc	abc
439abc		m	xabcy	abc
440abc		m	xyz
441a*b		m	aba*b	a*b
442a*b		m	ab
443""		mC	EMPTY
444
445# cases involving NULs
446aZb		&	a	a
447aZb		&p	a
448aZb		&p#	(aZb)	aZb
449aZ*b		&p#	(ab)	ab
450a.b		&#	(aZb)	aZb
451a.*		&#	(aZb)c	aZb
452
453# word boundaries (ick)
454[[:<:]]a	&	a	a
455[[:<:]]a	&	ba
456[[:<:]]a	&	-a	a
457a[[:>:]]	&	a	a
458a[[:>:]]	&	ab
459a[[:>:]]	&	a-	a
460[[:<:]]a.c[[:>:]]	&	axcd-dayc-dazce-abc	abc
461[[:<:]]a.c[[:>:]]	&	axcd-dayc-dazce-abc-q	abc
462[[:<:]]a.c[[:>:]]	&	axc-dayc-dazce-abc	axc
463[[:<:]]b.c[[:>:]]	&	a_bxc-byc_d-bzc-q	bzc
464[[:<:]].x..[[:>:]]	&	y_xa_-_xb_y-_xc_-axdc	_xc_
465[[:<:]]a_b[[:>:]]	&	x_a_b
466
467# past problems, and suspected problems
468(A[1])|(A[2])|(A[3])|(A[4])|(A[5])|(A[6])|(A[7])|(A[8])|(A[9])|(A[A])	-	A1	A1
469abcdefghijklmnop	i	abcdefghijklmnop	abcdefghijklmnop
470abcdefghijklmnopqrstuv	i	abcdefghijklmnopqrstuv	abcdefghijklmnopqrstuv
471(ALAK)|(ALT[AB])|(CC[123]1)|(CM[123]1)|(GAMC)|(LC[23][EO ])|(SEM[1234])|(SL[ES][12])|(SLWW)|(SLF )|(SLDT)|(VWH[12])|(WH[34][EW])|(WP1[ESN])	-	CC11	CC11
472CC[13]1|a{21}[23][EO][123][Es][12]a{15}aa[34][EW]aaaaaaa[X]a	-	CC11	CC11
473Char \([a-z0-9_]*\)\[.*	b	Char xyz[k	Char xyz[k	xyz
474a?b	-	ab	ab
475-\{0,1\}[0-9]*$	b	-5	-5
476