cvs: Rebuild without gnuregex library
[dragonfly.git] / gnu / lib / libregex / test / other.c
1 /* other.c: test (not exhaustively) non-POSIX regular expressions.  */
2
3 #include "test.h"
4
5 void
6 test_others ()
7 {
8   struct re_registers regs;
9
10   printf ("\nStarting non-POSIX tests.\n");
11   t = other_test;
12
13   test_should_match = true;
14
15   /* The big question: does the group participate in the match, or match
16      the empty string?  */
17   re_set_syntax (RE_NO_BK_PARENS);
18   test_match ("(a*)*ab", "ab");
19   TEST_REGISTERS ("(a*)*ab", "ab", 0, 2, 0, 0, -1, -1);
20   test_match ("(a*)*", "");
21   TEST_REGISTERS ("(a*)*ab", "ab", 0, 0, 0, 0, -1, -1);
22
23   /* This tests finding the highest and lowest active registers.  */
24   test_match ("(a(b)c(d(e)f)g)h(i(j)k(l(m)n)o)\\1\\2\\3\\4\\5\\6\\7\\8",
25               "abcdefghijklmnoabcdefgbdefeijklmnojlmnm");
26
27   /* Test that \< and \> match at the beginning and end of the string.  */
28   test_match ("\\<abc\\>", "abc");
29
30   /* May as well test \` and \' while we're at it.  */
31   test_match ("\\`abc\\'", "abc");
32
33 #if 0
34   /* Test backreferencing and the fastmap -- which doesn't work.  */
35   test_fastmap ("(a)*\\1", "a", 0, 0);
36 #endif
37
38   /* But at least we shouldn't search improperly.  */
39   test_search_return (-1, "(a)\\1", "");
40
41   re_set_syntax (RE_SYNTAX_EMACS);
42
43   MATCH_SELF("aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa");
44   MATCH_SELF ("a^");
45   MATCH_SELF ("a^b");
46   MATCH_SELF ("$a");
47   MATCH_SELF ("a$b");
48
49   re_set_syntax (RE_BACKSLASH_ESCAPE_IN_LISTS);
50   test_match ("[\\^a]", "a");
51   test_match ("[\\^a]", "^");
52
53   /* These op characters should be ordinary if RE_CONTEXT_INVALID_OPS
54      isn't set.  */
55   re_set_syntax (RE_NO_BK_VBAR | RE_NO_BK_BRACES | RE_INTERVALS
56                  | RE_NO_BK_PARENS);
57   MATCH_SELF ("*");
58   test_match ("a|*", "*");
59   test_match ("(*)", "*");
60
61   MATCH_SELF ("+");
62   test_match ("a|+", "+");
63   test_match ("(+)", "+");
64
65   MATCH_SELF ("?");
66   test_match ("a|?", "?");
67   test_match ("(?)", "?");
68
69   MATCH_SELF ("{1}");
70   test_match ("a|{1}", "a");
71   test_match ("a|{1}", "{1}");
72   test_match ("({1})", "{1}");
73
74   test_match ("\\{", "{");
75
76
77   re_set_syntax (RE_LIMITED_OPS);
78   MATCH_SELF ("|");
79   MATCH_SELF ("a|");
80   MATCH_SELF ("a|");
81   MATCH_SELF ("a||");
82   MATCH_SELF ("a||");
83   MATCH_SELF ("(|)");
84
85   re_set_syntax (RE_SYNTAX_EMACS);
86   TEST_SEARCH ("^a", "b\na", 0, 3);
87   TEST_SEARCH ("b$", "b\na", 0, 3);
88
89 #if 0
90   /* Newline is no longer special for anchors (16 Sep 92).  --karl  */
91   test_match_2 ("a\n^b", "a", "\nb");
92   test_match_2 ("a$\nb", "a\n", "b");
93 #endif
94
95   /* Test grouping.  */
96   re_set_syntax (RE_NO_BK_PARENS);
97
98   test_match ("()", "");
99   test_fastmap ("()", "", 0, 0);
100   TEST_REGISTERS ("()", "", 0, 0, 0, 0, -1, -1);
101
102   test_match ("((((((((()))))))))", "");
103   test_fastmap ("((((((((()))))))))", "", 0, 0);
104   test_match ("a()b", "ab");
105   TEST_REGISTERS ("a()b", "ab", 0, 2, 1, 1, -1, -1);
106
107   test_match ("(((((((((())))))))))", "");
108   test_fastmap ("(((((((((())))))))))", "", 0, 0);
109
110   test_match ("()*", "");
111   TEST_REGISTERS ("()*", "", 0, 0, 0, 0, -1, -1);  /* empty string */
112   test_match ("(())*", "");
113
114   re_set_syntax (RE_CONTEXT_INDEP_OPS);
115   test_match ("*", "");
116
117   re_set_syntax (RE_INTERVALS | RE_CONTEXT_INDEP_OPS | RE_NO_BK_BRACES);
118   test_match ("{1}", "");               /* Should remain an interval.  */
119   MATCH_SELF ("{1");                    /* Not a valid interval.  */
120
121   re_set_syntax (RE_NEWLINE_ALT);
122   test_match ("a\nb", "a");
123   test_match ("a\nb", "b");
124
125   re_set_syntax (RE_NO_BK_VBAR | RE_NO_BK_PARENS);
126   test_match ("^a", "a");
127   test_match ("(^a)", "a");
128   test_match ("(a|^b)", "b");
129   test_match ("a$", "a");
130   test_match ("(a$)", "a");
131   test_match ("a$|b", "a");
132
133   /* You should be able to have empty alternatives if RE_NO_EMPTY_ALTS
134      isn't set.  */
135   re_set_syntax (RE_NO_BK_VBAR | RE_NO_BK_PARENS);
136
137   test_match ("|", "");
138   test_match ("^|a", "");
139   test_match ("^|a", "a");
140   test_match ("a|", "");
141   test_match ("a|", "a");
142   test_match ("a|$", "");
143   test_match ("a|$", "a");
144   test_match ("a||b", "a");
145   test_match ("a||b", "");
146   test_match ("a||b", "b");
147   test_match ("(|a)", "");
148   test_match ("(|a)", "a");
149   test_match ("(a|)", "");
150   test_match ("(a|)", "a");
151
152   TEST_SEARCH ("a|$", "xa", 0, 2);
153   TEST_SEARCH ("a|$", "x", 0, 1);
154   TEST_SEARCH ("$|b", "x", 0, 1);
155   TEST_SEARCH ("$|b", "xb", 0, 2);
156   TEST_SEARCH ("c(a|$)", "xca", 0, 3);
157   TEST_SEARCH ("c(a|$)", "xc", 0, 2);
158   TEST_SEARCH ("c($|b)", "xcb", 0, 3);
159   TEST_SEARCH ("c($|b)", "xc", 0, 2);
160   TEST_SEARCH ("c($|b$)", "xcb", 0, 3);
161   TEST_SEARCH ("c($|b$)", "xc", 0, 2);
162   TEST_SEARCH ("c(a$|$)", "xca", 0, 3);
163   TEST_SEARCH ("c(a$|$)", "xc", 0, 2);
164   TEST_SEARCH ("(a$|b$)|$", "x", 0, 1);
165   TEST_SEARCH ("(a$|b$)|$", "xa", 0, 2);
166   TEST_SEARCH ("(a$|b$)|$", "xb", 0, 2);
167   TEST_SEARCH ("(a$|$)|c$", "x", 0, 1);
168   TEST_SEARCH ("(a$|$)|c$", "xa", 0, 2);
169   TEST_SEARCH ("(a$|$)|c$", "xc", 0, 2);
170   TEST_SEARCH ("($|b$)|c$", "x", 0, 1);
171   TEST_SEARCH ("($|b$)|c$", "xb", 0, 2);
172   TEST_SEARCH ("($|b$)|c$", "xc", 0, 2);
173   TEST_SEARCH ("c$|(a$|$)", "x", 0, 1);
174   TEST_SEARCH ("c$|(a$|$)", "xa", 0, 2);
175   TEST_SEARCH ("c$|(a$|$)", "xc", 0, 2);
176   TEST_SEARCH ("c$|($|b$)", "x", 0, 1);
177   TEST_SEARCH ("c$|($|b$)", "xb", 0, 2);
178   TEST_SEARCH ("c$|($|b$)", "xc", 0, 2);
179   TEST_SEARCH ("$|(a$|b$)", "x", 0, 1);
180   TEST_SEARCH ("$|(a$|b$)", "xa", 0, 2);
181   TEST_SEARCH ("$|(a$|b$)", "xb", 0, 2);
182   TEST_SEARCH ("c(a$|b$)|$", "x", 0, 1);
183   TEST_SEARCH ("c(a$|b$)|$", "xca", 0, 3);
184   TEST_SEARCH ("c(a$|b$)|$", "xcb", 0, 3);
185   TEST_SEARCH ("c(a$|$)|d$", "xc", 0, 2);
186   TEST_SEARCH ("c(a$|$)|d$", "xca", 0, 3);
187   TEST_SEARCH ("c(a$|$)|d$", "xd", 0, 2);
188   TEST_SEARCH ("c($|b$)|d$", "xc", 0, 2);
189   TEST_SEARCH ("c($|b$)|d$", "xcb", 0, 3);
190   TEST_SEARCH ("c($|b$)|d$", "xd", 0, 2);
191   TEST_SEARCH ("d(c$|e((a$|$)))", "xdc", 0, 3);
192   TEST_SEARCH ("d(c$|e((a$|$)))", "xde", 0, 3);
193   TEST_SEARCH ("d(c$|e((a$|$)))", "xdea", 0, 4);
194   TEST_SEARCH ("d(c$|e(($|b$)))", "xdc", 0, 3);
195   TEST_SEARCH ("d(c$|e(($|b$)))", "xde", 0, 3);
196   TEST_SEARCH ("d(c$|e(($|b$)))", "xdeb", 0, 4);
197   TEST_SEARCH ("d($|e((a$|b$)))", "xd", 0, 2);
198   TEST_SEARCH ("d($|e((a$|b$)))", "xdea", 0, 4);
199   TEST_SEARCH ("d($|e((a$|b$)))", "xdeb", 0, 4);
200   TEST_SEARCH ("a(b$|c$)|$", "x", 0, 1);
201   TEST_SEARCH ("a(b$|c$)|$", "xab", 0, 3);
202   TEST_SEARCH ("a(b$|c$)|$", "xac", 0, 3);
203   TEST_SEARCH ("a(b$|$)|d$", "xa", 0, 2);
204   TEST_SEARCH ("a(b$|$)|d$", "xab", 0, 3);
205   TEST_SEARCH ("a(b$|$)|d$", "xd", 0, 2);
206   TEST_SEARCH ("a($|c$)|d$", "xa", 0, 2);
207   TEST_SEARCH ("a($|c$)|d$", "xac", 0, 3);
208   TEST_SEARCH ("a($|c$)|d$", "xd", 0, 2);
209   TEST_SEARCH ("d$|a(b$|$)", "xd", 0, 2);
210   TEST_SEARCH ("d$|a(b$|$)", "xa", 0, 2);
211   TEST_SEARCH ("d$|a(b$|$)", "xab", 0, 3);
212   TEST_SEARCH ("d$|a($|c$)", "xd", 0, 2);
213   TEST_SEARCH ("d$|a($|c$)", "xa", 0, 2);
214   TEST_SEARCH ("d$|a($|c$)", "xac", 0, 3);
215   TEST_SEARCH ("$|a(b$|c$)", "x", 0, 1);
216   TEST_SEARCH ("$|a(b$|c$)", "xab", 0, 3);
217   TEST_SEARCH ("$|a(b$|c$)", "xac", 0, 3);
218   TEST_SEARCH ("(a)(b$|c$)|d$", "xab", 0, 3);
219   TEST_SEARCH ("(a)(b$|c$)|d$", "xac", 0, 3);
220   TEST_SEARCH ("(a)(b$|c$)|d$", "xd", 0, 2);
221   TEST_SEARCH ("(a)(b$|$)|d$", "xa", 0, 2);
222   TEST_SEARCH ("(a)(b$|$)|d$", "xab", 0, 3);
223   TEST_SEARCH ("(a)(b$|$)|d$", "xd", 0, 2);
224   TEST_SEARCH ("(a)($|c$)|d$", "xa", 0, 2);
225   TEST_SEARCH ("(a)($|c$)|d$", "xac", 0, 3);
226   TEST_SEARCH ("(a)($|c$)|d$", "xd", 0, 2);
227   TEST_SEARCH ("d$|(a)(b$|$)", "xd", 0, 2);
228   TEST_SEARCH ("d$|(a)(b$|$)", "xa", 0, 2);
229   TEST_SEARCH ("d$|(a)(b$|$)", "xab", 0, 3);
230   TEST_SEARCH ("d$|(a)($|c$)", "xd", 0, 2);
231   TEST_SEARCH ("d$|(a)($|c$)", "xa", 0, 2);
232   TEST_SEARCH ("d$|(a)($|c$)", "xac", 0, 3);
233   TEST_SEARCH ("$|(a)(b$|c$)", "x", 0, 1);
234   TEST_SEARCH ("$|(a)(b$|c$)", "xab", 0, 3);
235   TEST_SEARCH ("$|(a)(b$|c$)", "xac", 0, 3);
236   TEST_SEARCH ("d$|(c$|(a$|$))", "x", 0, 1);
237   TEST_SEARCH ("d$|(c$|(a$|$))", "xd", 0, 2);
238   TEST_SEARCH ("d$|(c$|(a$|$))", "xc", 0, 2);
239   TEST_SEARCH ("d$|(c$|(a$|$))", "xa", 0, 2);
240   TEST_SEARCH ("d$|(c$|($|b$))", "x", 0, 1);
241   TEST_SEARCH ("d$|(c$|($|b$))", "xd", 0, 2);
242   TEST_SEARCH ("d$|(c$|($|b$))", "xc", 0, 2);
243   TEST_SEARCH ("d$|(c$|($|b$))", "xb", 0, 2);
244   TEST_SEARCH ("d$|($|(a$|b$))", "x", 0, 1);
245   TEST_SEARCH ("d$|($|(a$|b$))", "xd", 0, 2);
246   TEST_SEARCH ("d$|($|(a$|b$))", "xa", 0, 2);
247   TEST_SEARCH ("d$|($|(a$|b$))", "xb", 0, 2);
248   TEST_SEARCH ("$|(c$|(a$|b$))", "x", 0, 1);
249   TEST_SEARCH ("$|(c$|(a$|b$))", "xc", 0, 2);
250   TEST_SEARCH ("$|(c$|(a$|b$))", "xa", 0, 2);
251   TEST_SEARCH ("$|(c$|(a$|b$))", "xb", 0, 2);
252   TEST_SEARCH ("d$|c(a$|$)", "xd", 0, 2);
253   TEST_SEARCH ("d$|c(a$|$)", "xc", 0, 2);
254   TEST_SEARCH ("d$|c(a$|$)", "xca", 0, 3);
255   TEST_SEARCH ("d$|c($|b$)", "xd", 0, 2);
256   TEST_SEARCH ("d$|c($|b$)", "xc", 0, 2);
257   TEST_SEARCH ("d$|c($|b$)", "xcb", 0, 3);
258   TEST_SEARCH ("$|c(a$|b$)", "x", 0, 1);
259   TEST_SEARCH ("$|c(a$|b$)", "xca", 0, 3);
260   TEST_SEARCH ("$|c(a$|b$)", "xcb", 0, 3);
261   TEST_SEARCH ("e(d$|c((a$|$)))", "xed", 0, 3);
262   TEST_SEARCH ("e(d$|c((a$|$)))", "xec", 0, 3);
263   TEST_SEARCH ("e(d$|c((a$|$)))", "xeca", 0, 3);
264   TEST_SEARCH ("e(d$|c(($|b$)))", "xed", 0, 3);
265   TEST_SEARCH ("e(d$|c(($|b$)))", "xec", 0, 3);
266   TEST_SEARCH ("e(d$|c(($|b$)))", "xecb", 0, 4);
267   TEST_SEARCH ("e($|c((a$|b$)))", "xe", 0, 2);
268   TEST_SEARCH ("e($|c((a$|b$)))", "xeca", 0, 4);
269   TEST_SEARCH ("e($|c((a$|b$)))", "xecb", 0, 4);
270   TEST_SEARCH ("ed$|(c((a$|$)))", "xed", 0, 3);
271   TEST_SEARCH ("ed$|(c((a$|$)))", "xc", 0, 2);
272   TEST_SEARCH ("ed$|(c((a$|$)))", "xca", 0, 3);
273   TEST_SEARCH ("ed$|(c(($|b$)))", "xed", 0, 3);
274   TEST_SEARCH ("ed$|(c(($|b$)))", "xc", 0, 2);
275   TEST_SEARCH ("ed$|(c(($|b$)))", "xcb", 0, 3);
276   TEST_SEARCH ("$|(c((a$|b$)))", "x", 0, 1);
277   TEST_SEARCH ("$|(c((a$|b$)))", "xca", 0, 3);
278   TEST_SEARCH ("$|(c((a$|b$)))", "xcb", 0, 3);
279   TEST_SEARCH ("d$|($|(a|b)$)", "x", 0, 1);
280   TEST_SEARCH ("d$|($|(a|b)$)", "xa", 0, 2);
281   TEST_SEARCH ("d$|($|(a|b)$)", "xb", 0, 2);
282   TEST_SEARCH ("$|(c$|(a|b)$)", "x", 0, 1);
283   TEST_SEARCH ("$|(c$|(a|b)$)", "xc", 0, 2);
284   TEST_SEARCH ("$|(c$|(a|b)$)", "xa", 0, 2);
285   TEST_SEARCH ("$|(c$|(a|b)$)", "xb", 0, 2);
286
287   re_set_syntax (0);
288   test_match ("[^\n]", "a");
289   test_match ("[^a]", "\n");
290
291   TEST_SEARCH ("^a", "b\na", 0, 3);
292   TEST_SEARCH ("b$", "b\na", 0, 3);
293
294   test_case_fold ("[!-`]", "A");
295   test_case_fold ("[!-`]", "a");
296
297   re_set_syntax (RE_CONTEXT_INDEP_OPS | RE_NO_BK_VBAR | RE_NO_BK_PARENS
298                  | RE_NO_BK_BRACES | RE_INTERVALS);
299   valid_nonposix_pattern ("()^a");
300   valid_nonposix_pattern ("()\\1^a");
301
302   /* Per Cederqvist (cedar@lysator.liu.se) bug.  */
303
304   re_set_syntax (RE_SYNTAX_EMACS);
305
306   /* One `a' before the \n and 638 a's after it.  */
307   test_search_return (0, "\\(.*\\)\n\\(\\(.\\|\n\\)*\\)$", "a\naaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa");
308
309   /* No a's before the \n and 639 a's after it.  */
310   test_search_return (0, "\\(.*\\)\n\\(\\(.\\|\n\\)*\\)$", "\naaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa");
311
312   /* One `a' before the \n and 639 a's after it.  */
313   test_search_return (0, "\\(.*\\)\n\\(\\(.\\|\n\\)*\\)$", "a\naaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa");
314
315   /* No a's before the \n and 640 a's after it.  */
316   test_search_return (0, "\\(.*\\)\n\\(\\(.\\|\n\\)*\\)$", "\naaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa");
317
318   re_set_syntax (RE_NO_BK_VBAR | RE_NO_BK_PARENS);
319   TEST_SEARCH ("^(^a)", "ab", 0, 2);
320   TEST_SEARCH ("(a$)$", "ba", 0, 2);
321   test_match ("a|$b", "$b");
322
323   /* Mike's curiosity item.  */
324   re_set_syntax (RE_NO_BK_VBAR | RE_NO_BK_PARENS);
325   test_all_registers ("(foo|foobar)(foo|bar)*\\1(foo|bar)*",
326                       "foobarfoobar", "",
327     0, 12,  0, 3,  3, 6,  9, 12,  -1, -1,   -1, -1,   -1, -1,   -1, -1,
328     -1, -1,   -1, -1);
329
330   /* Another one from Mike.  */
331   test_match ("(foo|foobarfoo)(bar)*", "foobarfoo");
332
333   /* And another.  */
334   test_match("(foo|foobar)(bar|barfoo)?\\1", "foobarfoobar");
335
336   re_set_syntax (RE_NO_BK_PARENS | RE_INTERVALS | RE_NO_BK_VBAR
337                  | RE_NO_BK_BRACES);  /* xx get new ones from ext.*/
338   test_match ("((a{0,}{0,0}()\\3\\b\\B\\<\\>\\`\\')|b)*", "bb");
339   test_all_registers ("((a{0,}{0,0}()\\3\\b\\B\\<\\>\\`\\')|b)*", "", "bb",
340     0, 2, 1, 2, -1, -1,  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
341     -1, -1);
342
343   test_match ("((a+?*{0,}{0,0}()\\3\\b\\B\\<\\>\\`\\')|b)", "b");
344   test_all_registers ("((a+?*{0,}{0,0}()\\3\\b\\B\\<\\>\\`\\')|b)", "", "b",
345     0, 1, 0, 1, -1, -1,  -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
346     -1, -1);
347
348                                                 /* Valid anchoring.  */
349           /* See generic_test.c and extended_test.c for more search
350              tests. xx Not sure all these tests are represented in the
351              search tests.  */
352
353   re_set_syntax (RE_NO_BK_PARENS | RE_NO_BK_VBAR);
354   valid_nonposix_pattern
355     ("(((((((((((((((((((((((((((((((((^a)))))))))))))))))))))))))))))))))");
356   valid_nonposix_pattern
357     ("(((((((((((((((((((((((((((((((((a$)))))))))))))))))))))))))))))))))");
358   valid_nonposix_pattern ("\\b\\B\\<\\>\\`\\'^a");
359   valid_nonposix_pattern ("a$\\b\\B\\<\\>\\`\\'");
360   valid_nonposix_pattern ("(^a)");
361   valid_nonposix_pattern ("(a$)");
362   valid_nonposix_pattern ("(^a)b");
363   valid_nonposix_pattern ("b(a$)");
364   valid_nonposix_pattern ("(^a|^b)c");
365   valid_nonposix_pattern ("c(a$|b$)");
366   valid_nonposix_pattern ("(^a|^b)|^c");
367   valid_nonposix_pattern ("(a$|b$)|c$");
368   valid_nonposix_pattern ("^c|(^a|^b)");
369   valid_nonposix_pattern ("c$|(a$|b$)");
370   valid_nonposix_pattern ("(^a|^b)c|^d");
371   valid_nonposix_pattern ("c(a$|b$)|d$");
372   valid_nonposix_pattern ("(((^a|^b))c|^d)e");
373   valid_nonposix_pattern ("(c((a|b))|d)e$");
374   valid_nonposix_pattern ("^d(c|e((a|b)))");
375   valid_nonposix_pattern ("d(c$|e((a$|b$)))");
376   valid_nonposix_pattern ("(((^a|^b))c)|^de");
377   valid_nonposix_pattern ("(((a|b))c$)|de$");
378
379   valid_nonposix_pattern ("((a$)$)$");
380   valid_nonposix_pattern ("^(^(^a))");
381
382   valid_nonposix_pattern ("^de|^(c((a|b)))");
383   valid_nonposix_pattern ("^de|(^c((a|b)))");
384   valid_nonposix_pattern ("de$|(c((a|b)$))");
385   valid_nonposix_pattern ("de$|(c((a|b))$)");
386   valid_nonposix_pattern ("de$|(c((a|b)))$");
387
388   valid_nonposix_pattern ("^a(b|c)|^d");
389   valid_nonposix_pattern ("a(b$|c$)|d$");
390   valid_nonposix_pattern ("^d|^a(b|c)");
391   valid_nonposix_pattern ("d$|a(b$|c$)");
392   valid_nonposix_pattern ("^d|^(b|c)a");
393   valid_nonposix_pattern ("d$|(b|c)a$");
394   valid_nonposix_pattern ("^(a)(b|c)|^d");
395   valid_nonposix_pattern ("(a)(b|c)$|d$");
396   valid_nonposix_pattern ("(^a)(b|c)|^d");
397   valid_nonposix_pattern ("(a)(b$|c$)|d$");
398   valid_nonposix_pattern ("^d|^(b|c)(a)");
399   valid_nonposix_pattern ("d$|(b|c)(a)$");
400   valid_nonposix_pattern ("^d|(^b|^c)(a)");
401   valid_nonposix_pattern ("d$|(b|c)(a$)");
402   valid_nonposix_pattern ("^d|^(a)(b|c)");
403   valid_nonposix_pattern ("^d|(^a)(b|c)");
404   valid_nonposix_pattern ("d$|(a)(b$|c$)");
405   valid_nonposix_pattern ("((^a|^b)|^c)|^d");
406   valid_nonposix_pattern ("d$|(c$|(a$|b$))");
407
408
409   /* Tests shouldn't match.  */
410   test_should_match = false;
411
412   /* Test that RE_CONTEXT_INVALID_OPS has precedence over
413      RE_CONTEXT_INDEP_OPS.  */
414
415   re_set_syntax (RE_CONTEXT_INDEP_OPS | RE_CONTEXT_INVALID_OPS
416                  | RE_NO_BK_VBAR | RE_NO_BK_PARENS
417                  | RE_NO_BK_BRACES | RE_INTERVALS);
418   INVALID_PATTERN ("*");
419   INVALID_PATTERN ("^*");
420   INVALID_PATTERN ("a|*");
421   INVALID_PATTERN ("(*)");
422
423   INVALID_PATTERN ("^+");
424   INVALID_PATTERN ("+");
425   INVALID_PATTERN ("a|+");
426   INVALID_PATTERN ("(+)");
427
428   INVALID_PATTERN ("^?");
429   INVALID_PATTERN ("?");
430   INVALID_PATTERN ("a|?");
431   INVALID_PATTERN ("(?)");
432
433   INVALID_PATTERN ("^{1}");
434   INVALID_PATTERN ("{1}");
435   INVALID_PATTERN ("a|{1}");
436   INVALID_PATTERN ("({1})");
437
438 #if 0
439   /* No longer have this syntax option -- POSIX says empty alternatives
440      are undefined as of draft 11.2.  */
441
442   /* You can't have empty alternatives if RE_NO_EMPTY_ALTS is set.  */
443
444   re_set_syntax (RE_NO_BK_VBAR | RE_NO_BK_PARENS | RE_NO_EMPTY_ALTS);
445
446   INVALID_PATTERN ("|");
447   INVALID_PATTERN ("^|a");
448   INVALID_PATTERN ("a|");
449   INVALID_PATTERN ("a||");
450   INVALID_PATTERN ("a||b");
451   INVALID_PATTERN ("(|a)");
452   INVALID_PATTERN ("(a|)");
453   INVALID_PATTERN ("(a|)");
454
455
456   /* Test above with `\(' and `\)'.  */
457   re_set_syntax (RE_NO_BK_VBAR | RE_NO_EMPTY_ALTS);
458   INVALID_PATTERN ("\\(|a\\)");
459   INVALID_PATTERN ("\\(a|\\)");
460
461   re_set_syntax (RE_NO_BK_VBAR | RE_NO_BK_PARENS | RE_NO_EMPTY_ALTS);
462   INVALID_PATTERN ("(|)()$|d$");
463 #endif
464
465   /* Test grouping.  */
466   test_match ("()", "a");
467
468   /* Test backslashed intervals that are CONTEXTly invalid if have
469      nothing on which to operate.  */
470
471   re_set_syntax (RE_INTERVALS | RE_CONTEXT_INVALID_OPS);
472   INVALID_PATTERN ("\\{1\\}");
473
474   re_set_syntax (0);
475   test_match ("z-a", "a");
476
477   re_set_syntax (RE_BK_PLUS_QM);
478   INVALID_PATTERN ("a*\\");
479
480   re_set_syntax (0);
481   INVALID_PATTERN ("a*\\");
482
483   re_set_syntax (RE_BACKSLASH_ESCAPE_IN_LISTS);
484   INVALID_PATTERN ("[\\");
485
486 #if 0
487   /* Empty groups are always ok now.  (13 Sep 92)  */
488   re_set_syntax (RE_NO_BK_VBAR | RE_NO_BK_PARENS | RE_NO_EMPTY_GROUPS);
489   INVALID_PATTERN ("(|)()$|d$");
490 #endif
491
492   printf ("\nFinished non-POSIX tests.\n");
493 }
494
495
496 \f
497 /*
498 Local variables:
499 make-backup-files: t
500 version-control: t
501 trim-versions-without-asking: nil
502 End:
503 */