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);
121 static void at(struct match *m, const char *title, const char *start, const char *stop, sopno startst, sopno stopst);
162 	const char *stop;
176 		stop = string + pmatch[0].rm_eo;
179 		stop = start + strlen(start);
181 	if (stop < start)
192 			for (dp = start+g->mlen-1; dp < stop;) {
194 				while (dp < stop && charjump[(int)*dp])
197 				if (dp >= stop)
218 			for (dp = start; dp < stop; dp++)
220 				    stop - dp >= g->mlen &&
223 			if (dp == stop)		/* we didn't find g->must */
235 	m->endp = stop;
252 		endp = walk(m, start, stop, gf, gl, true);
268 			endp = walk(m, m->coldp, stop, gf, gl, false);
334 		    stop - m->coldp, &m->mbs, 0);
335 		assert(start <= stop);
365  ==	const char *stop, sopno startst, sopno stopst);
367 static const char *		/* == stop (success) always */
370 	const char *stop,
388 	AT("diss", start, stop, startst, stopst);
411 			sp += XMBRTOWC(NULL, sp, stop - start, &m->mbs, 0);
420 			sp += XMBRTOWC(NULL, sp, stop - start, &m->mbs, 0);
428 			stp = stop;
434 				tail = walk(m, rest, stop, es, stopst, false);
435 				if (tail == stop)
452 			stp = stop;
458 				tail = walk(m, rest, stop, es, stopst, false);
459 				if (tail == stop)
488 			stp = stop;
494 				tail = walk(m, rest, stop, es, stopst, false);
495 				if (tail == stop)
545 	assert(sp == stop);
552  ==	const char *stop, sopno startst, sopno stopst, sopno lev);
554 static const char *		/* == stop (success) or NULL (failure) */
557 	const char *stop,
577 	AT("back", start, stop, startst, stopst);
585 			if (sp == stop)
587 			sp += XMBRTOWC(&wc, sp, stop - sp, &m->mbs, BADCHAR);
592 			if (sp == stop)
594 			sp += XMBRTOWC(&wc, sp, stop - sp, &m->mbs, BADCHAR);
599 			if (sp == stop)
602 			sp += XMBRTOWC(&wc, sp, stop - sp, &m->mbs, BADCHAR);
656 		if (sp != stop)
663 	AT("hard", sp, stop, ss, stopst);
675 		assert(stop - m->beginp >= len);
676 		if (sp > stop - len)
683 		return(backref(m, sp+len, stop, ss+1, stopst, lev, rec));
685 		dp = backref(m, sp, stop, ss+1, stopst, lev, rec);
688 		return(backref(m, sp, stop, ss+OPND(s)+1, stopst, lev, rec));
693 		return(backref(m, sp, stop, ss+1, stopst, lev+1, rec));
696 			return(backref(m, sp, stop, ss+1, stopst, lev-1, rec));
699 		dp = backref(m, sp, stop, ss-OPND(s)+1, stopst, lev, rec);
701 			return(backref(m, sp, stop, ss+1, stopst, lev-1, rec));
709 			dp = backref(m, sp, stop, ssub, esub, lev, rec);
731 		dp = backref(m, sp, stop, ss+1, stopst, lev, rec);
741 		dp = backref(m, sp, stop, ss+1, stopst, lev, rec);
760  ==	const char *stop, sopno startst, sopno stopst, bool fast);
763 walk(struct match *m, const char *start, const char *stop, sopno startst,
778 	AT("slow", start, stop, startst, stopst);
848 		if (EQ(st, empty) || p == stop || clen > stop - p)
868 			return (p + XMBRTOWC(NULL, p, stop - p, &m->mbs, 0));
877  == static states step(struct re_guts *g, sopno start, sopno stop, \
891 	sopno stop,		/* state after stop state within strip */
903 	for (pc = start, INIT(here, pc); pc != stop; pc++, INC(here)) {
907 			assert(pc == stop-1);
1038  ==			 const char *stop, sopno startst, sopno stopst);
1045 	const char *stop,
1053 	printf("%s ", pchar(*stop));