diff options
Diffstat (limited to '')
-rw-r--r-- | src/regress/lib/libc/regex/tests | 612 |
1 files changed, 0 insertions, 612 deletions
diff --git a/src/regress/lib/libc/regex/tests b/src/regress/lib/libc/regex/tests deleted file mode 100644 index f3fd9d0e6b..0000000000 --- a/src/regress/lib/libc/regex/tests +++ /dev/null | |||
@@ -1,612 +0,0 @@ | |||
1 | # $OpenBSD: tests,v 1.10 2021/04/02 14:20:57 otto Exp $ | ||
2 | # $NetBSD: tests,v 1.5 1995/04/20 22:40:00 cgd Exp $ | ||
3 | |||
4 | # regular expression test set | ||
5 | # Lines are at least three fields, separated by one or more tabs. "" stands | ||
6 | # for an empty field. First field is an RE. Second field is flags. If | ||
7 | # C flag given, regcomp() is expected to fail, and the third field is the | ||
8 | # error name (minus the leading REG_). | ||
9 | # | ||
10 | # Otherwise it is expected to succeed, and the third field is the string to | ||
11 | # try matching it against. If there is no fourth field, the match is | ||
12 | # expected to fail. If there is a fourth field, it is the substring that | ||
13 | # the RE is expected to match. If there is a fifth field, it is a comma- | ||
14 | # separated list of what the subexpressions should match, with - indicating | ||
15 | # no match for that one. In both the fourth and fifth fields, a (sub)field | ||
16 | # starting with @ indicates that the (sub)expression is expected to match | ||
17 | # a null string followed by the stuff after the @; this provides a way to | ||
18 | # test where null strings match. The character `N' in REs and strings | ||
19 | # is newline, `S' is space, `T' is tab, `Z' is NUL. | ||
20 | # | ||
21 | # The full list of flags: | ||
22 | # - placeholder, does nothing | ||
23 | # b RE is a BRE, not an ERE | ||
24 | # & try it as both an ERE and a BRE | ||
25 | # C regcomp() error expected, third field is error name | ||
26 | # i REG_ICASE | ||
27 | # m ("mundane") REG_NOSPEC | ||
28 | # s REG_NOSUB (not really testable) | ||
29 | # n REG_NEWLINE | ||
30 | # ^ REG_NOTBOL | ||
31 | # $ REG_NOTEOL | ||
32 | # # REG_STARTEND (see below) | ||
33 | # p REG_PEND | ||
34 | # | ||
35 | # For REG_STARTEND, the start/end offsets are those of the substring | ||
36 | # enclosed in (). | ||
37 | |||
38 | # basics | ||
39 | a & a a | ||
40 | abc & abc abc | ||
41 | abc|de - abc abc | ||
42 | a|b|c - abc a | ||
43 | |||
44 | # parentheses and perversions thereof | ||
45 | a(b)c - abc abc | ||
46 | a\(b\)c b abc abc | ||
47 | a( C EPAREN | ||
48 | a( b a( a( | ||
49 | a\( - a( a( | ||
50 | a\( bC EPAREN | ||
51 | a\(b bC EPAREN | ||
52 | a(b C EPAREN | ||
53 | a(b b a(b a(b | ||
54 | # gag me with a right parenthesis -- 1003.2 goofed here (my fault, partly) | ||
55 | a) - a) a) | ||
56 | ) - ) ) | ||
57 | # end gagging (in a just world, those *should* give EPAREN) | ||
58 | a) b a) a) | ||
59 | a\) bC EPAREN | ||
60 | \) bC EPAREN | ||
61 | a()b - ab ab | ||
62 | a\(\)b b ab ab | ||
63 | |||
64 | # anchoring and REG_NEWLINE | ||
65 | ^abc$ & abc abc | ||
66 | ^b & abc | ||
67 | a^b - a^b | ||
68 | a^b b a^b a^b | ||
69 | a$b - a$b | ||
70 | a$b b a$b a$b | ||
71 | ^ & abc @abc | ||
72 | $ & abc @ | ||
73 | ^$ & "" @ | ||
74 | $^ - "" @ | ||
75 | \($\)\(^\) b "" @ | ||
76 | # stop retching, those are legitimate (although disgusting) | ||
77 | ^^ - "" @ | ||
78 | $$ - "" @ | ||
79 | b$ & abNc | ||
80 | b$ &n abNc b | ||
81 | ^b & aNbNc | ||
82 | b$ & aNbNc | ||
83 | ^a &n aNb a | ||
84 | ^b &n abc | ||
85 | ^b$ &n aNbNc b | ||
86 | ^$ &n aNNb @Nb | ||
87 | ^$ n abc | ||
88 | ^$ n abcN @ | ||
89 | $^ n aNNb @Nb | ||
90 | \($\)\(^\) bn aNNb @Nb | ||
91 | ^^ n^ aNNb @Nb | ||
92 | $$ n aNNb @NN | ||
93 | ^a &^ a | ||
94 | a$ &$ a | ||
95 | ^b &^ abc | ||
96 | ^b &^ aNb | ||
97 | ^a &^n aNb | ||
98 | ^b &^n abc | ||
99 | ^b &^n aNb b | ||
100 | a$ &$n bNa | ||
101 | b$ &$n bNa b | ||
102 | a*(^b$)c* - b b | ||
103 | a*\(^b$\)c* b b b | ||
104 | |||
105 | # certain syntax errors and non-errors | ||
106 | | C EMPTY | ||
107 | | b | | | ||
108 | * C BADRPT | ||
109 | * b * * | ||
110 | + C BADRPT | ||
111 | ? C BADRPT | ||
112 | "" &C EMPTY | ||
113 | () - abc @abc | ||
114 | \(\) b abc @abc | ||
115 | a||b C EMPTY | ||
116 | |ab C EMPTY | ||
117 | ab| C EMPTY | ||
118 | (|a)b C EMPTY | ||
119 | (a|)b C EMPTY | ||
120 | (*a) C BADRPT | ||
121 | (+a) C BADRPT | ||
122 | (?a) C BADRPT | ||
123 | ({1}a) C BADRPT | ||
124 | \(\{1\}a\) bC BADRPT | ||
125 | (a|*b) C BADRPT | ||
126 | (a|+b) C BADRPT | ||
127 | (a|?b) C BADRPT | ||
128 | (a|{1}b) C BADRPT | ||
129 | ^* C BADRPT | ||
130 | ^* b * * | ||
131 | ^+ C BADRPT | ||
132 | ^? C BADRPT | ||
133 | ^{1} C BADRPT | ||
134 | ^\{1\} bC BADRPT | ||
135 | |||
136 | # metacharacters, backslashes | ||
137 | a.c & abc abc | ||
138 | a[bc]d & abd abd | ||
139 | a\*c & a*c a*c | ||
140 | a\\b & a\b a\b | ||
141 | a\\\*b & a\*b a\*b | ||
142 | a\bc & abc abc | ||
143 | a\ &C EESCAPE | ||
144 | a\\bc & a\bc a\bc | ||
145 | \{ bC BADRPT | ||
146 | a\[b & a[b a[b | ||
147 | a[b &C EBRACK | ||
148 | # trailing $ is a peculiar special case for the BRE code | ||
149 | a$ & a a | ||
150 | a$ & a$ | ||
151 | a\$ & a | ||
152 | a\$ & a$ a$ | ||
153 | a\\$ & a | ||
154 | a\\$ & a$ | ||
155 | a\\$ & a\$ | ||
156 | a\\$ & a\ a\ | ||
157 | |||
158 | # back references, ugh | ||
159 | a\(b\)\2c bC ESUBREG | ||
160 | a\(b\1\)c bC ESUBREG | ||
161 | a\(b*\)c\1d b abbcbbd abbcbbd bb | ||
162 | a\(b*\)c\1d b abbcbd | ||
163 | a\(b*\)c\1d b abbcbbbd | ||
164 | ^\(.\)\1 b abc | ||
165 | a\([bc]\)\1d b abcdabbd abbd b | ||
166 | a\(\([bc]\)\2\)*d b abbccd abbccd | ||
167 | a\(\([bc]\)\2\)*d b abbcbd | ||
168 | # actually, this next one probably ought to fail, but the spec is unclear | ||
169 | a\(\(b\)*\2\)*d b abbbd abbbd | ||
170 | # here is a case that no NFA implementation does right | ||
171 | \(ab*\)[ab]*\1 b ababaaa ababaaa a | ||
172 | # check out normal matching in the presence of back refs | ||
173 | \(a\)\1bcd b aabcd aabcd | ||
174 | \(a\)\1bc*d b aabcd aabcd | ||
175 | \(a\)\1bc*d b aabd aabd | ||
176 | \(a\)\1bc*d b aabcccd aabcccd | ||
177 | \(a\)\1bc*[ce]d b aabcccd aabcccd | ||
178 | ^\(a\)\1b\(c\)*cd$ b aabcccd aabcccd | ||
179 | \(b*\)\(a*\1\)* b ab a | ||
180 | \([^_]*\)\(_*\1\)* b foo_foo_bar_bar_bar_baz foo_foo foo,_foo | ||
181 | \([^_]*\)\(_*\1\)* b bar_bar_bar_baz bar_bar_bar bar,_bar | ||
182 | \([^_]*\)\(_*\1\)* b foo_bar_baz foo foo | ||
183 | \(.*\)\1 b "" "" | ||
184 | \(.*\)\1 b a "" | ||
185 | \(.*\)\1 b aa aa | ||
186 | \(.*\)\1 b aaa aa | ||
187 | \(.*\)\1 b aaaa aaaa | ||
188 | \([^_]*\)\1 b "" "" | ||
189 | \([^_]*\)\1 b a "" | ||
190 | \([^_]*\)\1 b aa aa | ||
191 | \([^_]*\)\1 b aaa aa | ||
192 | \([^_]*\)\1 b aaaa aaaa | ||
193 | foo\(.*\)bar\1 b foolbarl foolbarl l | ||
194 | foo\(.*\)bar\1 b foobar foobar "" | ||
195 | \(\(.\)b\)*\1 b aba | ||
196 | \(\(.\)b\)*\1 b abba | ||
197 | \(\(.\)b\)*\1 b abbba | ||
198 | \(\(.\)b\)*\1 b abbbba bbbb bb,b | ||
199 | \(\(.\)b\)*\1 b abbbbba abbbbb bb,b | ||
200 | \(\(.\)b\)*\1 b abbbbbba abbbbb bb,b | ||
201 | \(\(.\)b\)*\1 b abbbbbbbbbbbbbba abbbbbbbbbbbbb bb,b | ||
202 | \(\(.\)b\)*\1 b abbbbbbbbbbbbbbba abbbbbbbbbbbbbbb bb,b | ||
203 | # these used to segfault, buffer underflow in engine.c, backref() | ||
204 | \(^a\)*\(b.\)\2 b^ sbxbxe bxbx -,bx | ||
205 | \([[:<:]]a\)*\(b.\)\2 b^ sbxbxe bxbx -,bx | ||
206 | |||
207 | # ordinary repetitions | ||
208 | ab*c & abc abc | ||
209 | ab+c - abc abc | ||
210 | ab?c - abc abc | ||
211 | a\(*\)b b a*b a*b | ||
212 | a\(**\)b b ab ab | ||
213 | a\(***\)b bC BADRPT | ||
214 | *a b *a *a | ||
215 | **a b a a | ||
216 | ***a bC BADRPT | ||
217 | |||
218 | # the dreaded bounded repetitions | ||
219 | { & { { | ||
220 | {abc & {abc {abc | ||
221 | {1 C BADRPT | ||
222 | {1} C BADRPT | ||
223 | a{b & a{b a{b | ||
224 | a{1}b - ab ab | ||
225 | a\{1\}b b ab ab | ||
226 | a{1,}b - ab ab | ||
227 | a\{1,\}b b ab ab | ||
228 | a{1,2}b - aab aab | ||
229 | a\{1,2\}b b aab aab | ||
230 | a{1 C EBRACE | ||
231 | a\{1 bC EBRACE | ||
232 | a{1a C EBRACE | ||
233 | a\{1a bC EBRACE | ||
234 | a{1a} C BADBR | ||
235 | a\{1a\} bC BADBR | ||
236 | a{,2} - a{,2} a{,2} | ||
237 | a\{,2\} bC BADBR | ||
238 | a{,} - a{,} a{,} | ||
239 | a\{,\} bC BADBR | ||
240 | a{1,x} C BADBR | ||
241 | a\{1,x\} bC BADBR | ||
242 | a{1,x C EBRACE | ||
243 | a\{1,x bC EBRACE | ||
244 | a{300} C BADBR | ||
245 | a\{300\} bC BADBR | ||
246 | a{1,0} C BADBR | ||
247 | a\{1,0\} bC BADBR | ||
248 | ab{0,0}c - abcac ac | ||
249 | ab\{0,0\}c b abcac ac | ||
250 | ab{0,1}c - abcac abc | ||
251 | ab\{0,1\}c b abcac abc | ||
252 | ab{0,3}c - abbcac abbc | ||
253 | ab\{0,3\}c b abbcac abbc | ||
254 | ab{1,1}c - acabc abc | ||
255 | ab\{1,1\}c b acabc abc | ||
256 | ab{1,3}c - acabc abc | ||
257 | ab\{1,3\}c b acabc abc | ||
258 | ab{2,2}c - abcabbc abbc | ||
259 | ab\{2,2\}c b abcabbc abbc | ||
260 | ab{2,4}c - abcabbc abbc | ||
261 | ab\{2,4\}c b abcabbc abbc | ||
262 | ((a{1,10}){1,10}){1,10} - a a a,a | ||
263 | |||
264 | # multiple repetitions | ||
265 | a** &C BADRPT | ||
266 | a++ C BADRPT | ||
267 | a?? C BADRPT | ||
268 | a*+ C BADRPT | ||
269 | a*? C BADRPT | ||
270 | a+* C BADRPT | ||
271 | a+? C BADRPT | ||
272 | a?* C BADRPT | ||
273 | a?+ C BADRPT | ||
274 | a{1}{1} C BADRPT | ||
275 | a*{1} C BADRPT | ||
276 | a+{1} C BADRPT | ||
277 | a?{1} C BADRPT | ||
278 | a{1}* C BADRPT | ||
279 | a{1}+ C BADRPT | ||
280 | a{1}? C BADRPT | ||
281 | a*{b} - a{b} a{b} | ||
282 | a\{1\}\{1\} bC BADRPT | ||
283 | a*\{1\} bC BADRPT | ||
284 | a\{1\}* bC BADRPT | ||
285 | |||
286 | # brackets, and numerous perversions thereof | ||
287 | a[b]c & abc abc | ||
288 | a[ab]c & abc abc | ||
289 | a[^ab]c & adc adc | ||
290 | a[]b]c & a]c a]c | ||
291 | a[[b]c & a[c a[c | ||
292 | a[-b]c & a-c a-c | ||
293 | a[^]b]c & adc adc | ||
294 | a[^-b]c & adc adc | ||
295 | a[b-]c & a-c a-c | ||
296 | a[b &C EBRACK | ||
297 | a[] &C EBRACK | ||
298 | a[1-3]c & a2c a2c | ||
299 | a[3-1]c &C ERANGE | ||
300 | a[1-3-5]c &C ERANGE | ||
301 | a[[.-.]--]c & a-c a-c | ||
302 | a[1- &C ERANGE | ||
303 | a[[. &C EBRACK | ||
304 | a[[.x &C EBRACK | ||
305 | a[[.x. &C EBRACK | ||
306 | a[[.x.] &C EBRACK | ||
307 | a[[.x.]] & ax ax | ||
308 | a[[.x,.]] &C ECOLLATE | ||
309 | a[[.one.]]b & a1b a1b | ||
310 | a[[.notdef.]]b &C ECOLLATE | ||
311 | a[[.].]]b & a]b a]b | ||
312 | a[[:alpha:]]c & abc abc | ||
313 | a[[:notdef:]]c &C ECTYPE | ||
314 | a[[: &C EBRACK | ||
315 | a[[:alpha &C EBRACK | ||
316 | a[[:alpha:] &C EBRACK | ||
317 | a[[:alpha,:] &C ECTYPE | ||
318 | a[[:]:]]b &C ECTYPE | ||
319 | a[[:-:]]b &C ECTYPE | ||
320 | a[[:alph:]] &C ECTYPE | ||
321 | a[[:alphabet:]] &C ECTYPE | ||
322 | [[:alnum:]]+ - -%@a0X- a0X | ||
323 | [[:alpha:]]+ - -%@aX0- aX | ||
324 | [[:blank:]]+ - aSSTb SST | ||
325 | [[:cntrl:]]+ - aNTb NT | ||
326 | [[:digit:]]+ - a019b 019 | ||
327 | [[:graph:]]+ - Sa%bS a%b | ||
328 | [[:lower:]]+ - AabC ab | ||
329 | [[:print:]]+ - NaSbN aSb | ||
330 | [[:punct:]]+ - S%-&T %-& | ||
331 | [[:space:]]+ - aSNTb SNT | ||
332 | [[:upper:]]+ - aBCd BC | ||
333 | [[:xdigit:]]+ - p0f3Cq 0f3C | ||
334 | a[[=b=]]c & abc abc | ||
335 | a[[= &C EBRACK | ||
336 | a[[=b &C EBRACK | ||
337 | a[[=b= &C EBRACK | ||
338 | a[[=b=] &C EBRACK | ||
339 | a[[=b,=]] &C ECOLLATE | ||
340 | a[[=one=]]b & a1b a1b | ||
341 | |||
342 | # complexities | ||
343 | a(((b)))c - abc abc | ||
344 | a(b|(c))d - abd abd | ||
345 | a(b*|c)d - abbd abbd | ||
346 | # just gotta have one DFA-buster, of course | ||
347 | a[ab]{20} - aaaaabaaaabaaaabaaaab aaaaabaaaabaaaabaaaab | ||
348 | # and an inline expansion in case somebody gets tricky | ||
349 | a[ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab] - aaaaabaaaabaaaabaaaab aaaaabaaaabaaaabaaaab | ||
350 | # and in case somebody just slips in an NFA... | ||
351 | 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 | ||
352 | # fish for anomalies as the number of states passes 32 | ||
353 | 12345678901234567890123456789 - a12345678901234567890123456789b 12345678901234567890123456789 | ||
354 | 123456789012345678901234567890 - a123456789012345678901234567890b 123456789012345678901234567890 | ||
355 | 1234567890123456789012345678901 - a1234567890123456789012345678901b 1234567890123456789012345678901 | ||
356 | 12345678901234567890123456789012 - a12345678901234567890123456789012b 12345678901234567890123456789012 | ||
357 | 123456789012345678901234567890123 - a123456789012345678901234567890123b 123456789012345678901234567890123 | ||
358 | # and one really big one, beyond any plausible word width | ||
359 | 1234567890123456789012345678901234567890123456789012345678901234567890 - a1234567890123456789012345678901234567890123456789012345678901234567890b 1234567890123456789012345678901234567890123456789012345678901234567890 | ||
360 | # fish for problems as brackets go past 8 | ||
361 | [ab][cd][ef][gh][ij][kl][mn] - xacegikmoq acegikm | ||
362 | [ab][cd][ef][gh][ij][kl][mn][op] - xacegikmoq acegikmo | ||
363 | [ab][cd][ef][gh][ij][kl][mn][op][qr] - xacegikmoqy acegikmoq | ||
364 | [ab][cd][ef][gh][ij][kl][mn][op][q] - xacegikmoqy acegikmoq | ||
365 | |||
366 | # subtleties of matching | ||
367 | abc & xabcy abc | ||
368 | a\(b\)?c\1d b acd | ||
369 | aBc i Abc Abc | ||
370 | a[Bc]*d i abBCcd abBCcd | ||
371 | 0[[:upper:]]1 &i 0a1 0a1 | ||
372 | 0[[:lower:]]1 &i 0A1 0A1 | ||
373 | a[^b]c &i abc | ||
374 | a[^b]c &i aBc | ||
375 | a[^b]c &i adc adc | ||
376 | [a]b[c] - abc abc | ||
377 | [a]b[a] - aba aba | ||
378 | [abc]b[abc] - abc abc | ||
379 | [abc]b[abd] - abd abd | ||
380 | a(b?c)+d - accd accd | ||
381 | (wee|week)(knights|night) - weeknights weeknights | ||
382 | (we|wee|week|frob)(knights|night|day) - weeknights weeknights | ||
383 | a[bc]d - xyzaaabcaababdacd abd | ||
384 | a[ab]c - aaabc abc | ||
385 | abc s abc abc | ||
386 | a* & b @b | ||
387 | |||
388 | # Let's have some fun -- try to match a C comment. | ||
389 | # first the obvious, which looks okay at first glance... | ||
390 | /\*.*\*/ - /*x*/ /*x*/ | ||
391 | # but... | ||
392 | /\*.*\*/ - /*x*/y/*z*/ /*x*/y/*z*/ | ||
393 | # okay, we must not match */ inside; try to do that... | ||
394 | /\*([^*]|\*[^/])*\*/ - /*x*/ /*x*/ | ||
395 | /\*([^*]|\*[^/])*\*/ - /*x*/y/*z*/ /*x*/ | ||
396 | # but... | ||
397 | /\*([^*]|\*[^/])*\*/ - /*x**/y/*z*/ /*x**/y/*z*/ | ||
398 | # and a still fancier version, which does it right (I think)... | ||
399 | /\*([^*]|\*+[^*/])*\*+/ - /*x*/ /*x*/ | ||
400 | /\*([^*]|\*+[^*/])*\*+/ - /*x*/y/*z*/ /*x*/ | ||
401 | /\*([^*]|\*+[^*/])*\*+/ - /*x**/y/*z*/ /*x**/ | ||
402 | /\*([^*]|\*+[^*/])*\*+/ - /*x****/y/*z*/ /*x****/ | ||
403 | /\*([^*]|\*+[^*/])*\*+/ - /*x**x*/y/*z*/ /*x**x*/ | ||
404 | /\*([^*]|\*+[^*/])*\*+/ - /*x***x/y/*z*/ /*x***x/y/*z*/ | ||
405 | |||
406 | # subexpressions | ||
407 | a(b)(c)d - abcd abcd b,c | ||
408 | a(((b)))c - abc abc b,b,b | ||
409 | a(b|(c))d - abd abd b,- | ||
410 | a(b*|c|e)d - abbd abbd bb | ||
411 | a(b*|c|e)d - acd acd c | ||
412 | a(b*|c|e)d - ad ad @d | ||
413 | a(b?)c - abc abc b | ||
414 | a(b?)c - ac ac @c | ||
415 | a(b+)c - abc abc b | ||
416 | a(b+)c - abbbc abbbc bbb | ||
417 | a(b*)c - ac ac @c | ||
418 | (a|ab)(bc([de]+)f|cde) - abcdef abcdef a,bcdef,de | ||
419 | # the regression tester only asks for 9 subexpressions | ||
420 | a(b)(c)(d)(e)(f)(g)(h)(i)(j)k - abcdefghijk abcdefghijk b,c,d,e,f,g,h,i,j | ||
421 | a(b)(c)(d)(e)(f)(g)(h)(i)(j)(k)l - abcdefghijkl abcdefghijkl b,c,d,e,f,g,h,i,j,k | ||
422 | a([bc]?)c - abc abc b | ||
423 | a([bc]?)c - ac ac @c | ||
424 | a([bc]+)c - abc abc b | ||
425 | a([bc]+)c - abcc abcc bc | ||
426 | a([bc]+)bc - abcbc abcbc bc | ||
427 | a(bb+|b)b - abb abb b | ||
428 | a(bbb+|bb+|b)b - abb abb b | ||
429 | a(bbb+|bb+|b)b - abbb abbb bb | ||
430 | a(bbb+|bb+|b)bb - abbb abbb b | ||
431 | (.*).* - abcdef abcdef abcdef | ||
432 | (a*)* - bc @b @b | ||
433 | |||
434 | # do we get the right subexpression when it is used more than once? | ||
435 | a(b|c)*d - ad ad - | ||
436 | a(b|c)*d - abcd abcd c | ||
437 | a(b|c)+d - abd abd b | ||
438 | a(b|c)+d - abcd abcd c | ||
439 | a(b|c?)+d - ad ad @d | ||
440 | a(b|c?)+d - abcd abcd @d | ||
441 | a(b|c){0,0}d - ad ad - | ||
442 | a(b|c){0,1}d - ad ad - | ||
443 | a(b|c){0,1}d - abd abd b | ||
444 | a(b|c){0,2}d - ad ad - | ||
445 | a(b|c){0,2}d - abcd abcd c | ||
446 | a(b|c){0,}d - ad ad - | ||
447 | a(b|c){0,}d - abcd abcd c | ||
448 | a(b|c){1,1}d - abd abd b | ||
449 | a(b|c){1,1}d - acd acd c | ||
450 | a(b|c){1,2}d - abd abd b | ||
451 | a(b|c){1,2}d - abcd abcd c | ||
452 | a(b|c){1,}d - abd abd b | ||
453 | a(b|c){1,}d - abcd abcd c | ||
454 | a(b|c){2,2}d - acbd acbd b | ||
455 | a(b|c){2,2}d - abcd abcd c | ||
456 | a(b|c){2,4}d - abcd abcd c | ||
457 | a(b|c){2,4}d - abcbd abcbd b | ||
458 | a(b|c){2,4}d - abcbcd abcbcd c | ||
459 | a(b|c){2,}d - abcd abcd c | ||
460 | a(b|c){2,}d - abcbd abcbd b | ||
461 | a(b+|((c)*))+d - abd abd @d,@d,- | ||
462 | a(b+|((c)*))+d - abcd abcd @d,@d,- | ||
463 | |||
464 | # check out the STARTEND option | ||
465 | ^[abc] &# a(b)c b | ||
466 | ^[abc] &# a(xb)c | ||
467 | ^[abc] &# aN(b)c b | ||
468 | ^[abc] &n# a(b)c b | ||
469 | ^[abc] &n# a(xb)c | ||
470 | ^[abc] &n# aN(b)c b | ||
471 | ^[abc] &^# a(b)c | ||
472 | ^[abc] &^# a(xb)c | ||
473 | ^[abc] &^# aN(b)c | ||
474 | ^[abc] &n^# a(b)c | ||
475 | ^[abc] &n^# a(xb)c | ||
476 | ^[abc] &n^# aN(b)c b | ||
477 | [abc] &# a(d)c | ||
478 | [abc] &# a(bc)d b | ||
479 | [abc] &# a(dc)d c | ||
480 | . &# a()c | ||
481 | b.*c &# b(bc)c bc | ||
482 | b.* &# b(bc)c bc | ||
483 | .*c &# b(bc)c bc | ||
484 | |||
485 | # plain strings, with the NOSPEC flag | ||
486 | abc m abc abc | ||
487 | abc m xabcy abc | ||
488 | abc m xyz | ||
489 | a*b m aba*b a*b | ||
490 | a*b m ab | ||
491 | "" mC EMPTY | ||
492 | |||
493 | # cases involving NULs | ||
494 | aZb & a a | ||
495 | aZb &p a | ||
496 | aZb &p# (aZb) aZb | ||
497 | aZ*b &p# (ab) ab | ||
498 | a.b &# (aZb) aZb | ||
499 | a.* &# (aZb)c aZb | ||
500 | |||
501 | # word boundaries (ick) | ||
502 | [[:<:]]a & a a | ||
503 | \<a & a a | ||
504 | [[:<:]]a & ba | ||
505 | \<a & ba | ||
506 | [[:<:]]a & -a a | ||
507 | \<a & -a a | ||
508 | [[:<:]]a & Na a | ||
509 | \<a & Na a | ||
510 | [[:<:]]a &n a a | ||
511 | \<a &n a a | ||
512 | [[:<:]]a &n ba | ||
513 | \<a &n ba | ||
514 | [[:<:]]a &n -a a | ||
515 | \<a &n -a a | ||
516 | [[:<:]]a &n Na a | ||
517 | \<a &n Na a | ||
518 | [[:<:]]a &^ a | ||
519 | \<a &^ a | ||
520 | [[:<:]]a &^ ba | ||
521 | \<a &^ ba | ||
522 | [[:<:]]a &^ -a a | ||
523 | \<a &^ -a a | ||
524 | [[:<:]]a &^ Na a | ||
525 | \<a &^ Na a | ||
526 | [[:<:]]a &n^ a | ||
527 | \<a &n^ a | ||
528 | [[:<:]]a &n^ ba | ||
529 | \<a &n^ ba | ||
530 | [[:<:]]a &n^ -a a | ||
531 | \<a &n^ -a a | ||
532 | [[:<:]]a &n^ Na a | ||
533 | \<a &n^ Na a | ||
534 | [[:<:]]b &# a(b)c b | ||
535 | \<b &# a(b)c b | ||
536 | [[:<:]]b &# a(xb)c | ||
537 | \<b &# a(xb)c | ||
538 | [[:<:]]b &# -(b)c b | ||
539 | \<b &# -(b)c b | ||
540 | [[:<:]]b &# aN(b)c b | ||
541 | \<b &# aN(b)c b | ||
542 | [[:<:]]b &n# a(b)c b | ||
543 | \<b &n# a(b)c b | ||
544 | [[:<:]]b &n# a(xb)c | ||
545 | \<b &n# a(xb)c | ||
546 | [[:<:]]b &n# -(b)c b | ||
547 | \<b &n# -(b)c b | ||
548 | [[:<:]]b &n# aN(b)c b | ||
549 | \<b &n# aN(b)c b | ||
550 | [[:<:]]b &^# a(b)c | ||
551 | \<b &^# a(b)c | ||
552 | [[:<:]]b &^# a(xb)c | ||
553 | \<b &^# a(xb)c | ||
554 | [[:<:]]b &^# -(b)c b | ||
555 | \<b &^# -(b)c b | ||
556 | [[:<:]]b &^# aN(b)c b | ||
557 | \<b &^# aN(b)c b | ||
558 | [[:<:]]b &n^# a(b)c | ||
559 | \<b &n^# a(b)c | ||
560 | [[:<:]]b &n^# a(xb)c | ||
561 | \<b &n^# a(xb)c | ||
562 | [[:<:]]b &n^# -(b)c b | ||
563 | \<b &n^# -(b)c b | ||
564 | [[:<:]]b &n^# aN(b)c b | ||
565 | \<b &n^# aN(b)c b | ||
566 | a[[:>:]] & a a | ||
567 | a\> & a a | ||
568 | a[[:>:]] & ab | ||
569 | a\> & ab | ||
570 | a[[:>:]] & a- a | ||
571 | a\> & a- a | ||
572 | [[:<:]]a.c[[:>:]] & axcd-dayc-dazce-abc abc | ||
573 | \<a.c\> & axcd-dayc-dazce-abc abc | ||
574 | [[:<:]]a.c[[:>:]] & axcd-dayc-dazce-abc-q abc | ||
575 | \<a.c\> & axcd-dayc-dazce-abc-q abc | ||
576 | [[:<:]]a.c[[:>:]] & axc-dayc-dazce-abc axc | ||
577 | \<a.c\> & axc-dayc-dazce-abc axc | ||
578 | [[:<:]]b.c[[:>:]] & a_bxc-byc_d-bzc-q bzc | ||
579 | \<b.c\> & a_bxc-byc_d-bzc-q bzc | ||
580 | [[:<:]].x..[[:>:]] & y_xa_-_xb_y-_xc_-axdc _xc_ | ||
581 | \<.x..\> & y_xa_-_xb_y-_xc_-axdc _xc_ | ||
582 | [[:<:]]a_b[[:>:]] & x_a_b | ||
583 | \<a_b\> & x_a_b | ||
584 | |||
585 | # past problems, and suspected problems | ||
586 | (A[1])|(A[2])|(A[3])|(A[4])|(A[5])|(A[6])|(A[7])|(A[8])|(A[9])|(A[A]) - A1 A1 | ||
587 | abcdefghijklmnop i abcdefghijklmnop abcdefghijklmnop | ||
588 | abcdefghijklmnopqrstuv i abcdefghijklmnopqrstuv abcdefghijklmnopqrstuv | ||
589 | (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 | ||
590 | CC[13]1|a{21}[23][EO][123][Es][12]a{15}aa[34][EW]aaaaaaa[X]a - CC11 CC11 | ||
591 | Char \([a-z0-9_]*\)\[.* b Char xyz[k Char xyz[k xyz | ||
592 | a?b - ab ab | ||
593 | -\{0,1\}[0-9]*$ b -5 -5 | ||
594 | |||
595 | # FreeBSD PR 130504 | ||
596 | (.|())(b) - ab ab | ||
597 | (()|.)(b) - ab ab | ||
598 | |||
599 | # Some BRE cases where \{0,\} makes a backref go wrong, as reported by Michael Paoli | ||
600 | Y*\(x\)\1 b YYxx YYxx | ||
601 | Y\{2,\}\(x\)\1 b YYxx YYxx | ||
602 | # Fails currently | ||
603 | #Y\{0,\}\(x\)\1 b YYxx YYxx | ||
604 | Y\{0,\}\(x\) b YYxx YYx | ||
605 | Y\{2,\}x\{1,\} b YYxx YYxx | ||
606 | Y\{2,\}x\{0,\}z b YYxxz YYxxz | ||
607 | Y\{0,\}x\{0,\}z b YYxxz YYxxz | ||
608 | Y\{2,\}\(xy\)\1 b YYxyxy YYxyxy | ||
609 | # Fails currently | ||
610 | #Y\{0,\}\(xy\)\1 b YYxyxy YYxyxy | ||
611 | Y*\(xy\)\1 b YYxyxy YYxyxy | ||
612 | Y\{0,\}\(xy\)xy b YYxyxy YYxyxy | ||