libc/regex/engine.c

104 static const char *dissect(struct match *m, const char *start, const char *stop, sopno startst, sopno stopst);
105 static const char *backref(struct match *m, const char *start, const char *stop, sopno startst, sopno stopst, sopno lev, int);
106 static const char *walk(struct match *m, const char *start, const char *stop, sopno startst, sopno stopst, bool fast);
107 static states step(struct re_guts *g, sopno start, sopno stop, states bef, wint_t ch, states aft, int sflags);
126 static void at(struct match *m, const char *title, const char *start, const char *stop, sopno startst, sopno stopst);
200 	const char *stop;
214 		stop = string + pmatch[0].rm_eo;
217 		stop = start + strlen(start);
219 	if (stop < start)
230 			for (dp = start+g->mlen-1; dp < stop;) {
232 				while (dp < stop && charjump[(int)*dp])
235 				if (dp >= stop)
256 			for (dp = start; dp < stop; dp++)
258 				    stop - dp >= g->mlen &&
261 			if (dp == stop)		/* we didn't find g->must */
273 	m->endp = stop;
295 		endp = walk(m, start, stop, gf, gl, true);
311 			endp = walk(m, m->coldp, stop, gf, gl, false);
377 		    stop - m->coldp, &m->mbs, 0);
378 		assert(start <= stop);
408  ==	const char *stop, sopno startst, sopno stopst);
410 static const char *		/* == stop (success) always */
413 	const char *stop,
431 	AT("diss", start, stop, startst, stopst);
454 			sp += XMBRTOWC(NULL, sp, stop - start, &m->mbs, 0);
467 			sp += XMBRTOWC(NULL, sp, stop - start, &m->mbs, 0);
475 			stp = stop;
481 				tail = walk(m, rest, stop, es, stopst, false);
482 				if (tail == stop)
499 			stp = stop;
505 				tail = walk(m, rest, stop, es, stopst, false);
506 				if (tail == stop)
535 			stp = stop;
541 				tail = walk(m, rest, stop, es, stopst, false);
542 				if (tail == stop)
592 	assert(sp == stop);
610  ==	const char *stop, sopno startst, sopno stopst, sopno lev);
612 static const char *		/* == stop (success) or NULL (failure) */
615 	const char *stop,
635 	AT("back", start, stop, startst, stopst);
643 			if (sp == stop)
645 			sp += XMBRTOWC(&wc, sp, stop - sp, &m->mbs, BADCHAR);
650 			if (sp == stop)
652 			sp += XMBRTOWC(&wc, sp, stop - sp, &m->mbs, BADCHAR);
657 			if (sp == stop)
660 			sp += XMBRTOWC(&wc, sp, stop - sp, &m->mbs, BADCHAR);
735 		if (sp != stop)
742 	AT("hard", sp, stop, ss, stopst);
754 		assert(stop - m->beginp >= len);
755 		if (sp > stop - len)
762 		return(backref(m, sp+len, stop, ss+1, stopst, lev, rec));
764 		dp = backref(m, sp, stop, ss+1, stopst, lev, rec);
767 		return(backref(m, sp, stop, ss+OPND(s)+1, stopst, lev, rec));
772 		return(backref(m, sp, stop, ss+1, stopst, lev+1, rec));
775 			return(backref(m, sp, stop, ss+1, stopst, lev-1, rec));
778 		dp = backref(m, sp, stop, ss-OPND(s)+1, stopst, lev, rec);
780 			return(backref(m, sp, stop, ss+1, stopst, lev-1, rec));
788 			dp = backref(m, sp, stop, ssub, esub, lev, rec);
810 		dp = backref(m, sp, stop, ss+1, stopst, lev, rec);
820 		dp = backref(m, sp, stop, ss+1, stopst, lev, rec);
839  ==	const char *stop, sopno startst, sopno stopst, bool fast);
842 walk(struct match *m, const char *start, const char *stop, sopno startst,
858 	AT("slow", start, stop, startst, stopst);
951 		if (EQ(st, empty) || p == stop || clen > (size_t)(stop - p))
972 			return (p + XMBRTOWC(NULL, p, stop - p, &m->mbs, 0));
981  == static states step(struct re_guts *g, sopno start, sopno stop, \
995 	sopno stop,		/* state after stop state within strip */
1008 	for (pc = start, INIT(here, pc); pc != stop; pc++, INC(here)) {
1012 			assert(pc == stop-1);
1159  ==			 const char *stop, sopno startst, sopno stopst);
1166 	const char *stop,
1174 	printf("%s ", pchar(*stop));