422 	const char *rest;	/* start of rest of string */  in dissect()  local
423 	const char *tail;	/* string unmatched by rest of RE */  in dissect()
478 				rest = walk(m, sp, stp, ss, es, false);  in dissect()
479 				assert(rest != NULL);	/* it did match */  in dissect()
480 				/* could the rest match the rest? */  in dissect()
481 				tail = walk(m, rest, stop, es, stopst, false);  in dissect()
485 				stp = rest - 1;  in dissect()
491 			if (walk(m, sp, rest, ssub, esub, false) != NULL) {  in dissect()
492 				dp = dissect(m, sp, rest, ssub, esub);  in dissect()
493 				assert(dp == rest);  in dissect()
495 				assert(sp == rest);  in dissect()
496 			sp = rest;  in dissect()
502 				rest = walk(m, sp, stp, ss, es, false);  in dissect()
503 				assert(rest != NULL);	/* it did match */  in dissect()
504 				/* could the rest match the rest? */  in dissect()
505 				tail = walk(m, rest, stop, es, stopst, false);  in dissect()
509 				stp = rest - 1;  in dissect()
517 				sep = walk(m, ssp, rest, ssub, esub, false);  in dissect()
528 			assert(sep == rest);	/* must exhaust substring */  in dissect()
529 			assert(walk(m, ssp, sep, ssub, esub, false) == rest);  in dissect()
532 			sp = rest;  in dissect()
538 				rest = walk(m, sp, stp, ss, es, false);  in dissect()
539 				assert(rest != NULL);	/* it did match */  in dissect()
540 				/* could the rest match the rest? */  in dissect()
541 				tail = walk(m, rest, stop, es, stopst, false);  in dissect()
545 				stp = rest - 1;  in dissect()
552 				if (walk(m, sp, rest, ssub, esub, false) == rest)  in dissect()
565 			dp = dissect(m, sp, rest, ssub, esub);  in dissect()
566 			assert(dp == rest);  in dissect()
567 			sp = rest;  in dissect()
805 	case OLPAREN:		/* must undo assignment if rest fails */  in backref()
815 	case ORPAREN:		/* must undo assignment if rest fails */  in backref()