DEBUG_ASSERT     1401 maint/gnulib/lib/regcomp.c       DEBUG_ASSERT (node->next == NULL);
DEBUG_ASSERT     1417 maint/gnulib/lib/regcomp.c 	DEBUG_ASSERT (left > -1);
DEBUG_ASSERT     1418 maint/gnulib/lib/regcomp.c 	DEBUG_ASSERT (right > -1);
DEBUG_ASSERT     1436 maint/gnulib/lib/regcomp.c       DEBUG_ASSERT (!IS_EPSILON_NODE (node->token.type));
DEBUG_ASSERT     1618 maint/gnulib/lib/regcomp.c   DEBUG_ASSERT (dfa->nodes_len > 0);
DEBUG_ASSERT     1633 maint/gnulib/lib/regcomp.c       DEBUG_ASSERT (dfa->eclosures[node_idx].nelem != -1);
DEBUG_ASSERT     2391 maint/gnulib/lib/regcomp.c       DEBUG_ASSERT (false);
DEBUG_ASSERT     3204 maint/gnulib/lib/regcomp.c 	      DEBUG_ASSERT (false);
DEBUG_ASSERT      206 maint/gnulib/lib/regex_internal.c   DEBUG_ASSERT (MB_LEN_MAX >= pstr->mb_cur_max);
DEBUG_ASSERT      279 maint/gnulib/lib/regex_internal.c   DEBUG_ASSERT (pstr->mb_cur_max <= MB_LEN_MAX);
DEBUG_ASSERT      673 maint/gnulib/lib/regex_internal.c 	      DEBUG_ASSERT (pstr->valid_len > 0);
DEBUG_ASSERT      910 maint/gnulib/lib/regex_internal.c 	  DEBUG_ASSERT (wc_idx >= 0);
DEBUG_ASSERT     1183 maint/gnulib/lib/regex_internal.c       DEBUG_ASSERT (dest->elems);
DEBUG_ASSERT     1262 maint/gnulib/lib/regex_internal.c       DEBUG_ASSERT (set->elems);
DEBUG_ASSERT     1290 maint/gnulib/lib/regex_internal.c       DEBUG_ASSERT (set->elems[idx - 1] < elem);
DEBUG_ASSERT      441 maint/gnulib/lib/regexec.c 	  DEBUG_ASSERT (pmatch[0].rm_so == start);
DEBUG_ASSERT      500 maint/gnulib/lib/regexec.c       DEBUG_ASSERT (regs_allocated == REGS_FIXED);
DEBUG_ASSERT      502 maint/gnulib/lib/regexec.c       DEBUG_ASSERT (nregs <= regs->num_regs);
DEBUG_ASSERT      612 maint/gnulib/lib/regexec.c   DEBUG_ASSERT (0 <= last_start && last_start <= length);
DEBUG_ASSERT      820 maint/gnulib/lib/regexec.c   DEBUG_ASSERT (match_last != -1);
DEBUG_ASSERT      821 maint/gnulib/lib/regexec.c   DEBUG_ASSERT (err == REG_NOERROR);
DEBUG_ASSERT      902 maint/gnulib/lib/regexec.c   DEBUG_ASSERT (mctx->state_log != NULL);
DEBUG_ASSERT     1047 maint/gnulib/lib/regexec.c       DEBUG_ASSERT (err == REG_ESPACE);
DEBUG_ASSERT     1102 maint/gnulib/lib/regexec.c 	      DEBUG_ASSERT (err == REG_ESPACE);
DEBUG_ASSERT     1185 maint/gnulib/lib/regexec.c   DEBUG_ASSERT (state->halt);
DEBUG_ASSERT     1347 maint/gnulib/lib/regexec.c   DEBUG_ASSERT (0 <= fs->stack[num].node);
DEBUG_ASSERT     1375 maint/gnulib/lib/regexec.c   DEBUG_ASSERT (nmatch > 1);
DEBUG_ASSERT     1376 maint/gnulib/lib/regexec.c   DEBUG_ASSERT (mctx->state_log != NULL);
DEBUG_ASSERT     1551 maint/gnulib/lib/regexec.c   DEBUG_ASSERT (mctx->state_log != NULL && mctx->state_log[str_idx] != NULL);
DEBUG_ASSERT     1619 maint/gnulib/lib/regexec.c       DEBUG_ASSERT (!IS_EPSILON_NODE (dfa->nodes[prev_node].type));
DEBUG_ASSERT     1673 maint/gnulib/lib/regexec.c       DEBUG_ASSERT (mctx->state_log != NULL);
DEBUG_ASSERT     2467 maint/gnulib/lib/regexec.c       DEBUG_ASSERT (dfa->nexts[cur_node_idx] != -1);
DEBUG_ASSERT     2530 maint/gnulib/lib/regexec.c       DEBUG_ASSERT (dfa->nexts[node_idx] != -1);
DEBUG_ASSERT     2988 maint/gnulib/lib/regexec.c       DEBUG_ASSERT (!IS_EPSILON_NODE (dfa->nodes[cur_node].type));
DEBUG_ASSERT     3056 maint/gnulib/lib/regexec.c   DEBUG_ASSERT (cur_nodes->nelem);
DEBUG_ASSERT     4160 maint/gnulib/lib/regexec.c   DEBUG_ASSERT (mctx->sub_tops != NULL);
DEBUG_ASSERT     4161 maint/gnulib/lib/regexec.c   DEBUG_ASSERT (mctx->asub_tops > 0);