DEBUG_ASSERT     1401 lib/regcomp.c        DEBUG_ASSERT (node->next == NULL);
DEBUG_ASSERT     1417 lib/regcomp.c  	DEBUG_ASSERT (left > -1);
DEBUG_ASSERT     1418 lib/regcomp.c  	DEBUG_ASSERT (right > -1);
DEBUG_ASSERT     1436 lib/regcomp.c        DEBUG_ASSERT (!IS_EPSILON_NODE (node->token.type));
DEBUG_ASSERT     1618 lib/regcomp.c    DEBUG_ASSERT (dfa->nodes_len > 0);
DEBUG_ASSERT     1633 lib/regcomp.c        DEBUG_ASSERT (dfa->eclosures[node_idx].nelem != -1);
DEBUG_ASSERT     2401 lib/regcomp.c        DEBUG_ASSERT (false);
DEBUG_ASSERT     3214 lib/regcomp.c  	      DEBUG_ASSERT (false);
DEBUG_ASSERT      206 lib/regex_internal.c   DEBUG_ASSERT (MB_LEN_MAX >= pstr->mb_cur_max);
DEBUG_ASSERT      279 lib/regex_internal.c   DEBUG_ASSERT (pstr->mb_cur_max <= MB_LEN_MAX);
DEBUG_ASSERT      673 lib/regex_internal.c 	      DEBUG_ASSERT (pstr->valid_len > 0);
DEBUG_ASSERT      910 lib/regex_internal.c 	  DEBUG_ASSERT (wc_idx >= 0);
DEBUG_ASSERT     1183 lib/regex_internal.c       DEBUG_ASSERT (dest->elems);
DEBUG_ASSERT     1262 lib/regex_internal.c       DEBUG_ASSERT (set->elems);
DEBUG_ASSERT     1290 lib/regex_internal.c       DEBUG_ASSERT (set->elems[idx - 1] < elem);
DEBUG_ASSERT      441 lib/regexec.c  	  DEBUG_ASSERT (pmatch[0].rm_so == start);
DEBUG_ASSERT      500 lib/regexec.c        DEBUG_ASSERT (regs_allocated == REGS_FIXED);
DEBUG_ASSERT      502 lib/regexec.c        DEBUG_ASSERT (nregs <= regs->num_regs);
DEBUG_ASSERT      612 lib/regexec.c    DEBUG_ASSERT (0 <= last_start && last_start <= length);
DEBUG_ASSERT      820 lib/regexec.c    DEBUG_ASSERT (match_last != -1);
DEBUG_ASSERT      821 lib/regexec.c    DEBUG_ASSERT (err == REG_NOERROR);
DEBUG_ASSERT      902 lib/regexec.c    DEBUG_ASSERT (mctx->state_log != NULL);
DEBUG_ASSERT     1047 lib/regexec.c        DEBUG_ASSERT (err == REG_ESPACE);
DEBUG_ASSERT     1102 lib/regexec.c  	      DEBUG_ASSERT (err == REG_ESPACE);
DEBUG_ASSERT     1185 lib/regexec.c    DEBUG_ASSERT (state->halt);
DEBUG_ASSERT     1348 lib/regexec.c    DEBUG_ASSERT (0 <= fs->stack[num].node);
DEBUG_ASSERT     1376 lib/regexec.c    DEBUG_ASSERT (nmatch > 1);
DEBUG_ASSERT     1377 lib/regexec.c    DEBUG_ASSERT (mctx->state_log != NULL);
DEBUG_ASSERT     1552 lib/regexec.c    DEBUG_ASSERT (mctx->state_log != NULL && mctx->state_log[str_idx] != NULL);
DEBUG_ASSERT     1620 lib/regexec.c        DEBUG_ASSERT (!IS_EPSILON_NODE (dfa->nodes[prev_node].type));
DEBUG_ASSERT     1674 lib/regexec.c        DEBUG_ASSERT (mctx->state_log != NULL);
DEBUG_ASSERT     2468 lib/regexec.c        DEBUG_ASSERT (dfa->nexts[cur_node_idx] != -1);
DEBUG_ASSERT     2531 lib/regexec.c        DEBUG_ASSERT (dfa->nexts[node_idx] != -1);
DEBUG_ASSERT     2989 lib/regexec.c        DEBUG_ASSERT (!IS_EPSILON_NODE (dfa->nodes[cur_node].type));
DEBUG_ASSERT     3057 lib/regexec.c    DEBUG_ASSERT (cur_nodes->nelem);
DEBUG_ASSERT     4161 lib/regexec.c    DEBUG_ASSERT (mctx->sub_tops != NULL);
DEBUG_ASSERT     4162 lib/regexec.c    DEBUG_ASSERT (mctx->asub_tops > 0);