308 		assert(m->coldp != NULL);  in matcher()
314 			assert(m->coldp < m->endp);  in matcher()
350 		assert(g->backrefs);	/* must be back references doing it */  in matcher()
351 		assert(g->nplus == 0 || m->lastpos != NULL);  in matcher()
362 				assert(m->pmatch[i].rm_so == -1);  in matcher()
363 				assert(m->pmatch[i].rm_eo == -1);  in matcher()
369 		assert(dp == NULL || dp == endp);  in matcher()
378 		assert(start <= stop);  in matcher()
387 		assert(m->pmatch != NULL);  in matcher()
446 			assert(0);  in dissect()
462 			assert(0);  in dissect()
470 				assert(rest != NULL);	/* it did match */  in dissect()
477 				assert(stp >= sp);	/* it did work */  in dissect()
484 				assert(dp == rest);  in dissect()
486 				assert(sp == rest);  in dissect()
494 				assert(rest != NULL);	/* it did match */  in dissect()
501 				assert(stp >= sp);	/* it did work */  in dissect()
519 			assert(sep == rest);	/* must exhaust substring */  in dissect()
520 			assert(walk(m, ssp, sep, ssub, esub, false) == rest);  in dissect()
522 			assert(dp == sep);  in dissect()
530 				assert(rest != NULL);	/* it did match */  in dissect()
537 				assert(stp >= sp);	/* it did work */  in dissect()
541 			assert(OP(m->g->strip[esub]) == OOR1);  in dissect()
547 				assert(OP(m->g->strip[esub]) == OOR1);  in dissect()
549 				assert(OP(m->g->strip[esub]) == OOR2);  in dissect()
555 					assert(OP(m->g->strip[esub]) == O_CH);  in dissect()
558 			assert(dp == rest);  in dissect()
566 			assert(0);  in dissect()
570 			assert(0 < i && i <= m->g->nsub);  in dissect()
575 			assert(0 < i && i <= m->g->nsub);  in dissect()
579 			assert(0);  in dissect()
584 	assert(sp == stop);  in dissect()
675 				assert(OP(s) == OOR2);  in backref()
697 		assert(0 < i && i <= m->g->nsub);  in backref()
700 		assert(m->pmatch[i].rm_so != -1);  in backref()
704 		assert(stop - m->beginp >= len);  in backref()
719 		assert(m->lastpos != NULL);  in backref()
720 		assert(lev+1 <= m->g->nplus);  in backref()
735 		assert(OP(m->g->strip[esub]) == OOR1);  in backref()
744 			assert(OP(m->g->strip[esub]) == (sop)OOR2);  in backref()
750 				assert(OP(m->g->strip[esub]) == O_CH);  in backref()
756 		assert(0 < i && i <= m->g->nsub);  in backref()
766 		assert(0 < i && i <= m->g->nsub);  in backref()
775 		assert(0);  in backref()
780 	assert(0);  in backref()
884 		assert(c != OUT);  in walk()
887 		assert(EQ(step(m->g, startst, stopst, st, NOTHING, st), st));  in walk()
892 		assert(matchp != NULL);  in walk()
924 			assert(pc == stop-1);  in step()
928 			assert(!NONCHAR(ch) || ch != OPND(s));  in step()
987 			assert(OP(g->strip[pc+OPND(s)]) == (sop)OOR2);  in step()
995 					assert(OP(s) == (sop)OOR2);  in step()
1002 				assert(OP(g->strip[pc+OPND(s)]) == (sop)OOR2);  in step()
1010 			assert(0);  in step()