Add more backreference-related test cases.
[kopensolaris-gnu/glibc.git] / posix / bug-regex11.c
1 /* Regular expression tests.
2    Copyright (C) 2002, 2003 Free Software Foundation, Inc.
3    This file is part of the GNU C Library.
4    Contributed by Jakub Jelinek <jakub@redhat.com>, 2002.
5
6    The GNU C Library is free software; you can redistribute it and/or
7    modify it under the terms of the GNU Lesser General Public
8    License as published by the Free Software Foundation; either
9    version 2.1 of the License, or (at your option) any later version.
10
11    The GNU C Library is distributed in the hope that it will be useful,
12    but WITHOUT ANY WARRANTY; without even the implied warranty of
13    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14    Lesser General Public License for more details.
15
16    You should have received a copy of the GNU Lesser General Public
17    License along with the GNU C Library; if not, write to the Free
18    Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
19    02111-1307 USA.  */
20
21 #include <sys/types.h>
22 #include <mcheck.h>
23 #include <regex.h>
24 #include <stdio.h>
25 #include <stdlib.h>
26
27 /* Tests supposed to match.  */
28 struct
29 {
30   const char *pattern;
31   const char *string;
32   int flags, nmatch;
33   regmatch_t rm[5];
34 } tests[] = {
35   /* Test for newline handling in regex.  */
36   { "[^~]*~", "\nx~y", 0, 2, { { 0, 3 }, { -1, -1 } } },
37   /* Other tests.  */
38   { "a(.*)b", "a b", REG_EXTENDED, 2, { { 0, 3 }, { 1, 2 } } },
39   { ".*|\\([KIO]\\)\\([^|]*\\).*|?[KIO]", "10~.~|P|K0|I10|O16|?KSb", 0, 3,
40     { { 0, 21 }, { 15, 16 }, { 16, 18 } } },
41   { ".*|\\([KIO]\\)\\([^|]*\\).*|?\\1", "10~.~|P|K0|I10|O16|?KSb", 0, 3,
42     { { 0, 21 }, { 8, 9 }, { 9, 10 } } },
43   { "^\\(a*\\)\\1\\{9\\}\\(a\\{0,9\\}\\)\\([0-9]*;.*[^a]\\2\\([0-9]\\)\\)",
44     "a1;;0a1aa2aaa3aaaa4aaaaa5aaaaaa6aaaaaaa7aaaaaaaa8aaaaaaaaa9aa2aa1a0", 0,
45     5, { { 0, 67 }, { 0, 0 }, { 0, 1 }, { 1, 67 }, { 66, 67 } } },
46   /* Test for BRE expression anchoring.  POSIX says just that this may match;
47      in glibc regex it always matched, so avoid changing it.  */
48   { "\\(^\\|foo\\)bar", "bar", 0, 2, { { 0, 3 }, { -1, -1 } } },
49   { "\\(foo\\|^\\)bar", "bar", 0, 2, { { 0, 3 }, { -1, -1 } } },
50   /* In ERE this must be treated as an anchor.  */
51   { "(^|foo)bar", "bar", REG_EXTENDED, 2, { { 0, 3 }, { -1, -1 } } },
52   { "(foo|^)bar", "bar", REG_EXTENDED, 2, { { 0, 3 }, { -1, -1 } } },
53   /* Here ^ cannot be treated as an anchor according to POSIX.  */
54   { "(^|foo)bar", "(^|foo)bar", 0, 2, { { 0, 10 }, { -1, -1 } } },
55   { "(foo|^)bar", "(foo|^)bar", 0, 2, { { 0, 10 }, { -1, -1 } } },
56   /* More tests on backreferences.  */
57   { "()\\1*\\1*", "", REG_EXTENDED, 2, { { 0, 0 }, { 0, 0 } } },
58   { "([0-9]).*\\1(a*)", "7;7a6", REG_EXTENDED, 3, { { 0, 4 }, { 0, 1 }, { 3, 4 } } },
59   { "([0-9]).*\\1(a*)", "7;7a", REG_EXTENDED, 3, { { 0, 4 }, { 0, 1 }, { 3, 4 } } },
60 };
61
62 int
63 main (void)
64 {
65   regex_t re;
66   regmatch_t rm[5];
67   size_t i;
68   int n, ret = 0;
69
70   mtrace ();
71
72   for (i = 0; i < sizeof (tests) / sizeof (tests[0]); ++i)
73     {
74       n = regcomp (&re, tests[i].pattern, tests[i].flags);
75       if (n != 0)
76         {
77           char buf[500];
78           regerror (n, &re, buf, sizeof (buf));
79           printf ("%s: regcomp %zd failed: %s\n", tests[i].pattern, i, buf);
80           ret = 1;
81           continue;
82         }
83
84       if (regexec (&re, tests[i].string, tests[i].nmatch, rm, 0))
85         {
86           printf ("%s: regexec %zd failed\n", tests[i].pattern, i);
87           ret = 1;
88           regfree (&re);
89           continue;
90         }
91
92       for (n = 0; n < tests[i].nmatch; ++n)
93         if (rm[n].rm_so != tests[i].rm[n].rm_so
94               || rm[n].rm_eo != tests[i].rm[n].rm_eo)
95           {
96             if (tests[i].rm[n].rm_so == -1 && tests[i].rm[n].rm_eo == -1)
97               break;
98             printf ("%s: regexec %zd match failure rm[%d] %d..%d\n",
99                     tests[i].pattern, i, n, rm[n].rm_so, rm[n].rm_eo);
100             ret = 1;
101             break;
102           }
103
104       regfree (&re);
105     }
106
107   return ret;
108 }