1 # regular expression test set
3 # Lines are at least three fields, separated by one or more tabs. "" stands
4 # for an empty field. First field is an RE. Second field is flags. If
5 # C flag given, regcomp() is expected to fail, and the third field is the
6 # error name (minus the leading REG_).
8 # Otherwise it is expected to succeed, and the third field is the string to
9 # try matching it against. If there is no fourth field, the match is
10 # expected to fail. If there is a fourth field, it is the substring that
11 # the RE is expected to match. If there is a fifth field, it is a comma-
12 # separated list of what the subexpressions should match, with - indicating
13 # no match for that one. In both the fourth and fifth fields, a (sub)field
14 # starting with @ indicates that the (sub)expression is expected to match
15 # a null string followed by the stuff after the @; this provides a way to
16 # test where null strings match. The character `N' in REs and strings
17 # is newline, `S' is space, `T' is tab, `Z' is NUL.
19 # The full list of flags:
20 # - placeholder, does nothing
21 # b RE is a BRE, not an ERE
22 # & try it as both an ERE and a BRE
23 # C regcomp() error expected, third field is error name
25 # m ("mundane") REG_NOSPEC
26 # s REG_NOSUB (not really testable)
30 # # REG_STARTEND (see below)
33 # For REG_STARTEND, the start/end offsets are those of the substring
42 # parentheses and perversions thereof
52 # gag me with a right parenthesis -- 1003.2 goofed here (my fault, partly)
55 # end gagging (in a just world, those *should* give EPAREN)
62 # anchoring and REG_NEWLINE
73 # stop retching, those are legitimate (although disgusting)
84 \($\)\(^\) bn aNNb @Nb
96 # certain syntax errors and non-errors
127 # metacharacters, backslashes
137 # trailing $ is a peculiar special case for the BRE code
147 # back references, ugh
150 a\(b*\)c\1d b abbcbbd abbcbbd bb
152 a\(b*\)c\1d b abbcbbbd
154 a\([bc]\)\1d b abcdabbd abbd b
155 a\(\([bc]\)\2\)*d b abbccd abbccd
156 a\(\([bc]\)\2\)*d b abbcbd
157 # actually, this next one probably ought to fail, but the spec is unclear
158 a\(\(b\)*\2\)*d b abbbd abbbd
159 # here is a case that no NFA implementation does right
160 \(ab*\)[ab]*\1 b ababaaa ababaaa a
161 # check out normal matching in the presence of back refs
162 \(a\)\1bcd b aabcd aabcd
163 \(a\)\1bc*d b aabcd aabcd
164 \(a\)\1bc*d b aabd aabd
165 \(a\)\1bc*d b aabcccd aabcccd
166 \(a\)\1bc*[ce]d b aabcccd aabcccd
167 ^\(a\)\1b\(c\)*cd$ b aabcccd aabcccd
168 \(b*\)\(a*\1\)* b ab a
169 \([^_]*\)\(_*\1\)* b foo_foo_bar_bar_bar_baz foo_foo foo,_foo
170 \([^_]*\)\(_*\1\)* b bar_bar_bar_baz bar_bar_bar bar,_bar
171 \([^_]*\)\(_*\1\)* b foo_bar_baz foo foo
181 \([^_]*\)\1 b aaaa aaaa
182 foo\(.*\)bar\1 b foolbarl foolbarl l
183 foo\(.*\)bar\1 b foobar foobar ""
186 \(\(.\)b\)*\1 b abbba
187 \(\(.\)b\)*\1 b abbbba bbbb bb,b
188 \(\(.\)b\)*\1 b abbbbba abbbbb bb,b
189 \(\(.\)b\)*\1 b abbbbbba abbbbb bb,b
190 \(\(.\)b\)*\1 b abbbbbbbbbbbbbba abbbbbbbbbbbbb bb,b
191 \(\(.\)b\)*\1 b abbbbbbbbbbbbbbba abbbbbbbbbbbbbbb bb,b
193 # ordinary repetitions
204 # the dreaded bounded repetitions
235 ab\{0,0\}c b abcac ac
237 ab\{0,1\}c b abcac abc
238 ab{0,3}c - abbcac abbc
239 ab\{0,3\}c b abbcac abbc
241 ab\{1,1\}c b acabc abc
243 ab\{1,3\}c b acabc abc
244 ab{2,2}c - abcabbc abbc
245 ab\{2,2\}c b abcabbc abbc
246 ab{2,4}c - abcabbc abbc
247 ab\{2,4\}c b abcabbc abbc
248 ((a{1,10}){1,10}){1,10} - a a a,a
249 ((a{1,10}){1,10}){1,10}bb - aaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb aaaaaaaaaaaaaaaaaaaaaaaaaaaaaabb
251 # multiple repetitions
269 a\{1\}\{1\} bC BADRPT
273 # brackets, and numerous perversions thereof
288 a[[.-.]--]c & a-c a-c
295 a[[.x,.]] &C ECOLLATE
296 a[[.one.]]b & a1b a1b
297 a[[.notdef.]]b &C ECOLLATE
299 a[[:alpha:]]c & abc abc
300 a[[:notdef:]]c &C ECTYPE
303 a[[:alpha:] &C EBRACK
304 a[[:alpha,:] &C ECTYPE
307 a[[:alph:]] &C ECTYPE
308 a[[:alphabet:]] &C ECTYPE
309 [[:alnum:]]+ - -%@a0X- a0X
310 [[:alpha:]]+ - -%@aX0- aX
311 [[:blank:]]+ - aSSTb SST
312 [[:cntrl:]]+ - aNTb NT
313 [[:digit:]]+ - a019b 019
314 [[:graph:]]+ - Sa%bS a%b
315 [[:lower:]]+ - AabC ab
316 [[:print:]]+ - NaSbN aSb
317 [[:punct:]]+ - S%-&T %-&
318 [[:space:]]+ - aSNTb SNT
319 [[:upper:]]+ - aBCd BC
320 [[:xdigit:]]+ - p0f3Cq 0f3C
326 a[[=b,=]] &C ECOLLATE
327 a[[=one=]]b & a1b a1b
333 # just gotta have one DFA-buster, of course
334 a[ab]{20} - aaaaabaaaabaaaabaaaab aaaaabaaaabaaaabaaaab
335 # and an inline expansion in case somebody gets tricky
336 a[ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab] - aaaaabaaaabaaaabaaaab aaaaabaaaabaaaabaaaab
337 # and in case somebody just slips in an NFA...
338 a[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
339 # fish for anomalies as the number of states passes 32
340 12345678901234567890123456789 - a12345678901234567890123456789b 12345678901234567890123456789
341 123456789012345678901234567890 - a123456789012345678901234567890b 123456789012345678901234567890
342 1234567890123456789012345678901 - a1234567890123456789012345678901b 1234567890123456789012345678901
343 12345678901234567890123456789012 - a12345678901234567890123456789012b 12345678901234567890123456789012
344 123456789012345678901234567890123 - a123456789012345678901234567890123b 123456789012345678901234567890123
345 # and one really big one, beyond any plausible word width
346 1234567890123456789012345678901234567890123456789012345678901234567890 - a1234567890123456789012345678901234567890123456789012345678901234567890b 1234567890123456789012345678901234567890123456789012345678901234567890
347 # fish for problems as brackets go past 8
348 [ab][cd][ef][gh][ij][kl][mn] - xacegikmoq acegikm
349 [ab][cd][ef][gh][ij][kl][mn][op] - xacegikmoq acegikmo
350 [ab][cd][ef][gh][ij][kl][mn][op][qr] - xacegikmoqy acegikmoq
351 [ab][cd][ef][gh][ij][kl][mn][op][q] - xacegikmoqy acegikmoq
353 # subtleties of matching
357 a[Bc]*d i abBCcd abBCcd
358 0[[:upper:]]1 &i 0a1 0a1
359 0[[:lower:]]1 &i 0A1 0A1
365 [abc]b[abc] - abc abc
366 [abc]b[abd] - abd abd
368 (wee|week)(knights|night) - weeknights weeknights
369 (we|wee|week|frob)(knights|night|day) - weeknights weeknights
370 a[bc]d - xyzaaabcaababdacd abd
375 a(b)(c)d - abcd abcd b,c
376 a(((b)))c - abc abc b,b,b
377 a(b|(c))d - abd abd b,-
378 a(b*|c|e)d - abbd abbd bb
379 a(b*|c|e)d - acd acd c
380 a(b*|c|e)d - ad ad @d
384 a(b+)c - abbbc abbbc bbb
386 (a|ab)(bc([de]+)f|cde) - abcdef abcdef a,bcdef,de
387 # the regression tester only asks for 9 subexpressions
388 a(b)(c)(d)(e)(f)(g)(h)(i)(j)k - abcdefghijk abcdefghijk b,c,d,e,f,g,h,i,j
389 a(b)(c)(d)(e)(f)(g)(h)(i)(j)(k)l - abcdefghijkl abcdefghijkl b,c,d,e,f,g,h,i,j,k
390 a([bc]?)c - abc abc b
392 a([bc]+)c - abc abc b
393 a([bc]+)c - abcc abcc bc
394 a([bc]+)bc - abcbc abcbc bc
395 a(bb+|b)b - abb abb b
396 a(bbb+|bb+|b)b - abb abb b
397 a(bbb+|bb+|b)b - abbb abbb bb
398 a(bbb+|bb+|b)bb - abbb abbb b
399 (.*).* - abcdef abcdef abcdef
402 # do we get the right subexpression when it is used more than once?
404 a(b|c)*d - abcd abcd c
406 a(b|c)+d - abcd abcd c
408 a(b|c?)+d - abcd abcd @d
409 a(b|c){0,0}d - ad ad -
410 a(b|c){0,1}d - ad ad -
411 a(b|c){0,1}d - abd abd b
412 a(b|c){0,2}d - ad ad -
413 a(b|c){0,2}d - abcd abcd c
414 a(b|c){0,}d - ad ad -
415 a(b|c){0,}d - abcd abcd c
416 a(b|c){1,1}d - abd abd b
417 a(b|c){1,1}d - acd acd c
418 a(b|c){1,2}d - abd abd b
419 a(b|c){1,2}d - abcd abcd c
420 a(b|c){1,}d - abd abd b
421 a(b|c){1,}d - abcd abcd c
422 a(b|c){2,2}d - acbd acbd b
423 a(b|c){2,2}d - abcd abcd c
424 a(b|c){2,4}d - abcd abcd c
425 a(b|c){2,4}d - abcbd abcbd b
426 a(b|c){2,4}d - abcbcd abcbcd c
427 a(b|c){2,}d - abcd abcd c
428 a(b|c){2,}d - abcbd abcbd b
429 a(b+|((c)*))+d - abd abd @d,@d,-
430 a(b+|((c)*))+d - abcd abcd @d,@d,-
432 # check out the STARTEND option
442 # plain strings, with the NOSPEC flag
450 # cases involving NULs
458 # word boundaries (ick)
465 [[:<:]]a.c[[:>:]] & axcd-dayc-dazce-abc abc
466 [[:<:]]a.c[[:>:]] & axcd-dayc-dazce-abc-q abc
467 [[:<:]]a.c[[:>:]] & axc-dayc-dazce-abc axc
470 (A[1])|(A[2])|(A[3])|(A[4])|(A[5])|(A[6])|(A[7])|(A[8])|(A[9])|(A[A]) - A1 A1
471 abcdefghijklmnop i abcdefghijklmnop abcdefghijklmnop
472 abcdefghijklmnopqrstuv i abcdefghijklmnopqrstuv abcdefghijklmnopqrstuv
473 (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
474 CC[13]1|a{21}[23][EO][123][Es][12]a{15}aa[34][EW]aaaaaaa[X]a - CC11 CC11