mime: fix uninitialised mime->depth
[neatmail.git] / regex.c
blob816f10712c53ac8ceae3b5ab2758cd38f838096d
1 #include <ctype.h>
2 #include <stdio.h>
3 #include <stdlib.h>
4 #include <string.h>
5 #include "regex.h"
7 #define NGRPS 64
8 #define NREPS 128
10 #define MAX(a, b) ((a) < (b) ? (b) : (a))
11 #define LEN(a) (sizeof(a) / sizeof((a)[0]))
13 /* regular expressions atoms */
14 #define RA_CHR '\0' /* character literal */
15 #define RA_BEG '^' /* string start */
16 #define RA_END '$' /* string end */
17 #define RA_ANY '.' /* any character */
18 #define RA_BRK '[' /* bracket expression */
19 #define RA_WBEG '<' /* word start */
20 #define RA_WEND '>' /* word end */
22 /* regular expression node types */
23 #define RN_ATOM '\0' /* regular expression */
24 #define RN_CAT 'c' /* concatenation */
25 #define RN_ALT '|' /* alternate expressions */
26 #define RN_GRP '(' /* pattern group */
28 /* regular expression program instructions */
29 #define RI_ATOM '\0' /* regular expression */
30 #define RI_FORK 'f' /* fork the execution */
31 #define RI_JUMP 'j' /* jump to the given instruction */
32 #define RI_MARK 'm' /* mark the current position */
33 #define RI_MATCH 'q' /* the pattern is matched */
35 /* regular expression atom */
36 struct ratom {
37 int ra; /* atom type (RA_*) */
38 char *s; /* atom argument */
41 /* regular expression instruction */
42 struct rinst {
43 int ri; /* instruction type (RI_*) */
44 struct ratom ra; /* regular expression atom (RI_ATOM) */
45 int a1, a2; /* destination of RE_FORK and RI_JUMP */
46 int mark; /* mark (RI_MARK) */
49 /* regular expression program */
50 struct regex {
51 struct rinst *p; /* the program */
52 int n; /* number of instructions */
53 int grpcnt; /* number of groups */
54 int flg; /* regcomp() flags */
57 /* regular expression matching state */
58 struct rstate {
59 int mark[NGRPS * 2]; /* marks for RI_MARK */
60 int pc; /* program counter */
61 char *s; /* the current position in the string */
62 char *o; /* the beginning of the string */
63 int flg; /* flags passed to regcomp() and regexec() */
66 /* regular expression tree; used for parsing */
67 struct rnode {
68 int rn; /* node type (RN_*) */
69 struct ratom ra; /* regular expression atom (RN_ATOM) */
70 int mincnt, maxcnt; /* number of repetitions */
71 struct rnode *c1, *c2; /* children */
74 static struct rnode *rnode_make(int rn, struct rnode *c1, struct rnode *c2)
76 struct rnode *rnode = malloc(sizeof(*rnode));
77 memset(rnode, 0, sizeof(*rnode));
78 rnode->rn = rn;
79 rnode->c1 = c1;
80 rnode->c2 = c2;
81 rnode->mincnt = 1;
82 rnode->maxcnt = 1;
83 return rnode;
86 static void rnode_free(struct rnode *rnode)
88 if (rnode->c1)
89 rnode_free(rnode->c1);
90 if (rnode->c2)
91 rnode_free(rnode->c2);
92 free(rnode->ra.s);
93 free(rnode);
96 static int uc_len(char *s)
98 int c = (unsigned char) s[0];
99 if (c > 0 && c <= 0x7f)
100 return 1;
101 if (c >= 0xfc)
102 return 6;
103 if (c >= 0xf8)
104 return 5;
105 if (c >= 0xf0)
106 return 4;
107 if (c >= 0xe0)
108 return 3;
109 if (c >= 0xc0)
110 return 2;
111 return c != 0;
114 static int uc_dec(char *s)
116 int result;
117 int l = uc_len(s);
118 if (l <= 1)
119 return (unsigned char) *s;
120 result = (0x3f >> --l) & (unsigned char) *s++;
121 while (l--)
122 result = (result << 6) | ((unsigned char) *s++ & 0x3f);
123 return result;
126 static void ratom_copy(struct ratom *dst, struct ratom *src)
128 dst->ra = src->ra;
129 dst->s = NULL;
130 if (src->s) {
131 int len = strlen(src->s);
132 dst->s = malloc(len + 1);
133 memcpy(dst->s, src->s, len + 1);
137 static int brk_len(char *s)
139 int n = 1;
140 if (s[n] == '^') /* exclusion mark */
141 n++;
142 if (s[n] == ']') /* handling []a] */
143 n++;
144 while (s[n] && s[n] != ']') {
145 if (s[n] == '[' && (s[n + 1] == ':' || s[n + 1] == '='))
146 while (s[n] && s[n] != ']')
147 n++;
148 if (s[n])
149 n++;
151 return s[n] == ']' ? n + 1 : n;
154 static void ratom_readbrk(struct ratom *ra, char **pat)
156 int len = brk_len(*pat);
157 ra->ra = RA_BRK;
158 ra->s = malloc(len + 1);
159 memcpy(ra->s, *pat, len);
160 ra->s[len] = '\0';
161 *pat += len;
164 static void ratom_read(struct ratom *ra, char **pat)
166 int len;
167 switch ((unsigned char) **pat) {
168 case '.':
169 ra->ra = RA_ANY;
170 (*pat)++;
171 break;
172 case '^':
173 ra->ra = RA_BEG;
174 (*pat)++;
175 break;
176 case '$':
177 ra->ra = RA_END;
178 (*pat)++;
179 break;
180 case '[':
181 ratom_readbrk(ra, pat);
182 break;
183 case '\\':
184 if ((*pat)[1] == '<' || (*pat)[1] == '>') {
185 ra->ra = (*pat)[1] == '<' ? RA_WBEG : RA_WEND;
186 *pat += 2;
187 break;
189 (*pat)++;
190 default:
191 ra->ra = RA_CHR;
192 len = uc_len(*pat);
193 ra->s = malloc(8);
194 memcpy(ra->s, *pat, len);
195 ra->s[len] = '\0';
196 *pat += len;
200 static char *uc_beg(char *beg, char *s)
202 while (s > beg && (((unsigned char) *s) & 0xc0) == 0x80)
203 s--;
204 return s;
207 static int isword(char *s)
209 int c = (unsigned char) s[0];
210 return isalnum(c) || c == '_' || c > 127;
213 static char *brk_classes[][2] = {
214 {":alnum:", "a-zA-Z0-9"},
215 {":alpha:", "a-zA-Z"},
216 {":blank:", " \t"},
217 {":digit:", "0-9"},
218 {":lower:", "a-z"},
219 {":print:", "\x20-\x7e"},
220 {":punct:", "][!\"#$%&'()*+,./:;<=>?@\\^_`{|}~-"},
221 {":space:", " \t\r\n\v\f"},
222 {":upper:", "A-Z"},
223 {":word:", "a-zA-Z0-9_"},
224 {":xdigit:", "a-fA-F0-9"},
227 static int brk_match(char *brk, int c, int flg)
229 int beg, end;
230 int i;
231 int not = brk[0] == '^';
232 char *p = not ? brk + 1 : brk;
233 char *p0 = p;
234 if (flg & REG_ICASE && c < 128 && isupper(c))
235 c = tolower(c);
236 while (*p && (p == p0 || *p != ']')) {
237 if (p[0] == '[' && p[1] == ':') {
238 for (i = 0; i < LEN(brk_classes); i++) {
239 char *cc = brk_classes[i][0];
240 char *cp = brk_classes[i][1];
241 if (!strncmp(cc, p + 1, strlen(cc)))
242 if (!brk_match(cp, c, flg))
243 return not;
245 p += brk_len(p);
246 continue;
248 beg = uc_dec(p);
249 p += uc_len(p);
250 end = beg;
251 if (p[0] == '-' && p[1] && p[1] != ']') {
252 p++;
253 end = uc_dec(p);
254 p += uc_len(p);
256 if (flg & REG_ICASE && beg < 128 && isupper(beg))
257 beg = tolower(beg);
258 if (flg & REG_ICASE && end < 128 && isupper(end))
259 end = tolower(end);
260 if (c >= beg && c <= end)
261 return not;
263 return !not;
266 static int ratom_match(struct ratom *ra, struct rstate *rs)
268 if (ra->ra == RA_CHR) {
269 int c1 = uc_dec(ra->s);
270 int c2 = uc_dec(rs->s);
271 if (rs->flg & REG_ICASE && c1 < 128 && isupper(c1))
272 c1 = tolower(c1);
273 if (rs->flg & REG_ICASE && c2 < 128 && isupper(c2))
274 c2 = tolower(c2);
275 if (c1 != c2)
276 return 1;
277 rs->s += uc_len(ra->s);
278 return 0;
280 if (ra->ra == RA_ANY) {
281 if (!rs->s[0])
282 return 1;
283 rs->s += uc_len(rs->s);
284 return 0;
286 if (ra->ra == RA_BRK) {
287 int c = uc_dec(rs->s);
288 if (!c)
289 return 1;
290 rs->s += uc_len(rs->s);
291 return brk_match(ra->s + 1, c, rs->flg);
293 if (ra->ra == RA_BEG && !(rs->flg & REG_NOTBOL))
294 return !(rs->s == rs->o || rs->s[-1] == '\n');
295 if (ra->ra == RA_END && !(rs->flg & REG_NOTEOL))
296 return rs->s[0] != '\0' && rs->s[0] != '\n';
297 if (ra->ra == RA_WBEG)
298 return !((rs->s == rs->o || !isword(uc_beg(rs->o, rs->s - 1))) &&
299 isword(rs->s));
300 if (ra->ra == RA_WEND)
301 return !(rs->s != rs->o && isword(uc_beg(rs->o, rs->s - 1)) &&
302 (!rs->s[0] || !isword(rs->s)));
303 return 1;
306 static struct rnode *rnode_parse(char **pat);
308 static struct rnode *rnode_grp(char **pat)
310 struct rnode *rnode;
311 if ((*pat)[0] != '(')
312 return NULL;
313 *pat += 1;
314 rnode = rnode_parse(pat);
315 if (!rnode)
316 return NULL;
317 if ((*pat)[0] != ')') {
318 rnode_free(rnode);
319 return NULL;
321 *pat += 1;
322 return rnode_make(RN_GRP, rnode, NULL);
325 static struct rnode *rnode_atom(char **pat)
327 struct rnode *rnode;
328 if (!**pat)
329 return NULL;
330 if ((*pat)[0] == '|' || (*pat)[0] == ')')
331 return NULL;
332 if ((*pat)[0] == '(') {
333 rnode = rnode_grp(pat);
334 } else {
335 rnode = rnode_make(RN_ATOM, NULL, NULL);
336 ratom_read(&rnode->ra, pat);
338 if (!rnode)
339 return NULL;
340 if ((*pat)[0] == '*' || (*pat)[0] == '?') {
341 rnode->mincnt = 0;
342 rnode->maxcnt = (*pat)[0] == '*' ? -1 : 1;
343 (*pat)++;
345 if ((*pat)[0] == '+') {
346 rnode->mincnt = 1;
347 rnode->maxcnt = NREPS;
348 *pat += 1;
350 if ((*pat)[0] == '{') {
351 rnode->mincnt = 0;
352 rnode->maxcnt = 0;
353 *pat += 1;
354 while (isdigit((unsigned char) **pat))
355 rnode->mincnt = rnode->mincnt * 10 + *(*pat)++ - '0';
356 if (**pat == ',') {
357 (*pat)++;
358 if ((*pat)[0] == '}')
359 rnode->maxcnt = NREPS;
360 while (isdigit((unsigned char) **pat))
361 rnode->maxcnt = rnode->maxcnt * 10 + *(*pat)++ - '0';
362 } else {
363 rnode->maxcnt = rnode->mincnt;
365 *pat += 1;
366 if (rnode->mincnt > NREPS || rnode->maxcnt > NREPS) {
367 rnode_free(rnode);
368 return NULL;
371 return rnode;
374 static struct rnode *rnode_seq(char **pat)
376 struct rnode *c1 = rnode_atom(pat);
377 struct rnode *c2;
378 if (!c1)
379 return NULL;
380 c2 = rnode_seq(pat);
381 return c2 ? rnode_make(RN_CAT, c1, c2) : c1;
384 static struct rnode *rnode_parse(char **pat)
386 struct rnode *c1 = rnode_seq(pat);
387 struct rnode *c2;
388 if ((*pat)[0] != '|')
389 return c1;
390 *pat += 1;
391 c2 = rnode_parse(pat);
392 return c2 ? rnode_make(RN_ALT, c1, c2) : c1;
395 static int rnode_count(struct rnode *rnode)
397 int n = 1;
398 if (!rnode)
399 return 0;
400 if (rnode->rn == RN_CAT)
401 n = rnode_count(rnode->c1) + rnode_count(rnode->c2);
402 if (rnode->rn == RN_ALT)
403 n = rnode_count(rnode->c1) + rnode_count(rnode->c2) + 2;
404 if (rnode->rn == RN_GRP)
405 n = rnode_count(rnode->c1) + 2;
406 if (rnode->mincnt == 0 && rnode->maxcnt == 0)
407 return 0;
408 if (rnode->mincnt == 1 && rnode->maxcnt == 1)
409 return n;
410 if (rnode->maxcnt < 0) {
411 n = (rnode->mincnt + 1) * n + 1;
412 } else {
413 n = (rnode->mincnt + rnode->maxcnt) * n +
414 rnode->maxcnt - rnode->mincnt;
416 if (!rnode->mincnt)
417 n++;
418 return n;
421 static int re_insert(struct regex *p, int ri)
423 p->p[p->n++].ri = ri;
424 return p->n - 1;
427 static void rnode_emit(struct rnode *n, struct regex *p);
429 static void rnode_emitnorep(struct rnode *n, struct regex *p)
431 int fork, done, mark;
432 if (n->rn == RN_ALT) {
433 fork = re_insert(p, RI_FORK);
434 p->p[fork].a1 = p->n;
435 rnode_emit(n->c1, p);
436 done = re_insert(p, RI_JUMP);
437 p->p[fork].a2 = p->n;
438 rnode_emit(n->c2, p);
439 p->p[done].a1 = p->n;
441 if (n->rn == RN_CAT) {
442 rnode_emit(n->c1, p);
443 rnode_emit(n->c2, p);
445 if (n->rn == RN_GRP) {
446 int grp = p->grpcnt++ + 1;
447 mark = re_insert(p, RI_MARK);
448 p->p[mark].mark = 2 * grp;
449 rnode_emit(n->c1, p);
450 mark = re_insert(p, RI_MARK);
451 p->p[mark].mark = 2 * grp + 1;
453 if (n->rn == RN_ATOM) {
454 int atom = re_insert(p, RI_ATOM);
455 ratom_copy(&p->p[atom].ra, &n->ra);
459 static void rnode_emit(struct rnode *n, struct regex *p)
461 int last;
462 int jmpend[NREPS];
463 int jmpend_cnt = 0;
464 int i;
465 if (!n)
466 return;
467 if (n->mincnt == 0 && n->maxcnt == 0)
468 return;
469 if (n->mincnt == 1 && n->maxcnt == 1) {
470 rnode_emitnorep(n, p);
471 return;
473 if (n->mincnt == 0) {
474 int fork = re_insert(p, RI_FORK);
475 p->p[fork].a1 = p->n;
476 jmpend[jmpend_cnt++] = fork;
478 for (i = 0; i < MAX(1, n->mincnt); i++) {
479 last = p->n;
480 rnode_emitnorep(n, p);
482 if (n->maxcnt < 0) {
483 int fork;
484 fork = re_insert(p, RI_FORK);
485 p->p[fork].a1 = last;
486 p->p[fork].a2 = p->n;
488 for (i = MAX(1, n->mincnt); i < n->maxcnt; i++) {
489 int fork = re_insert(p, RI_FORK);
490 p->p[fork].a1 = p->n;
491 jmpend[jmpend_cnt++] = fork;
492 rnode_emitnorep(n, p);
494 for (i = 0; i < jmpend_cnt; i++)
495 p->p[jmpend[i]].a2 = p->n;
498 int regcomp(regex_t *preg, char *pat, int flg)
500 struct rnode *rnode = rnode_parse(&pat);
501 struct regex *re;
502 int n = rnode_count(rnode) + 3;
503 int mark;
504 if (!rnode)
505 return 1;
506 re = malloc(sizeof(*re));
507 memset(re, 0, sizeof(*re));
508 re->p = malloc(n * sizeof(re->p[0]));
509 memset(re->p, 0, n * sizeof(re->p[0]));
510 mark = re_insert(re, RI_MARK);
511 re->p[mark].mark = 0;
512 rnode_emit(rnode, re);
513 mark = re_insert(re, RI_MARK);
514 re->p[mark].mark = 1;
515 mark = re_insert(re, RI_MATCH);
516 rnode_free(rnode);
517 re->flg = flg;
518 *preg = re;
519 return 0;
522 void regfree(regex_t *preg)
524 struct regex *re = *preg;
525 int i;
526 for (i = 0; i < re->n; i++)
527 if (re->p[i].ri == RI_ATOM)
528 free(re->p[i].ra.s);
529 free(re->p);
530 free(re);
533 static int re_rec(struct regex *re, struct rstate *rs)
535 struct rinst *ri = &re->p[rs->pc];
536 if (ri->ri == RI_ATOM) {
537 if (ratom_match(&ri->ra, rs))
538 return 1;
539 rs->pc++;
540 return re_rec(re, rs);
542 if (ri->ri == RI_MARK) {
543 if (ri->mark < NGRPS)
544 rs->mark[ri->mark] = rs->s - rs->o;
545 rs->pc++;
546 return re_rec(re, rs);
548 if (ri->ri == RI_JUMP) {
549 rs->pc = ri->a1;
550 return re_rec(re, rs);
552 if (ri->ri == RI_FORK) {
553 struct rstate base = *rs;
554 rs->pc = ri->a1;
555 if (!re_rec(re, rs))
556 return 0;
557 *rs = base;
558 rs->pc = ri->a2;
559 return re_rec(re, rs);
561 if (ri->ri == RI_MATCH)
562 return 0;
563 return 1;
566 static int re_recmatch(struct regex *re, struct rstate *rs, int nsub, regmatch_t *psub)
568 int i;
569 rs->pc = 0;
570 for (i = 0; i < LEN(rs->mark); i++)
571 rs->mark[i] = -1;
572 if (!re_rec(re, rs)) {
573 for (i = 0; i < nsub; i++) {
574 psub[i].rm_so = i * 2 < LEN(rs->mark) ? rs->mark[i * 2] : -1;
575 psub[i].rm_eo = i * 2 < LEN(rs->mark) ? rs->mark[i * 2 + 1] : -1;
577 return 0;
579 return 1;
582 int regexec(regex_t *preg, char *s, int nsub, regmatch_t psub[], int flg)
584 struct regex *re = *preg;
585 struct rstate rs;
586 memset(&rs, 0, sizeof(rs));
587 rs.flg = re->flg | flg;
588 rs.o = s;
589 while (*s) {
590 rs.s = s++;
591 if (!re_recmatch(re, &rs, flg & REG_NOSUB ? 0 : nsub, psub))
592 return 0;
594 return 1;
597 int regerror(int errcode, regex_t *preg, char *errbuf, int errbuf_size)
599 return 0;