116 static re_dfastate_t *find_recover_state (reg_errcode_t *err,
118 static re_dfastate_t *transit_state (reg_errcode_t *err,
121 static re_dfastate_t *merge_state_with_log (reg_errcode_t *err,
128 static re_dfastate_t *transit_state_sb (reg_errcode_t *err,
203   reg_errcode_t err;  in regexec()  local
225     err = re_search_internal (preg, string, length, start, length,  in regexec()
228     err = re_search_internal (preg, string, length, start, length,  in regexec()
231   return err != REG_NOERROR;  in regexec()
613   reg_errcode_t err;  in re_search_internal()  local
669   err = re_string_allocate (&mctx.input, string, length, dfa->nodes_len + 1,  in re_search_internal()
672   if (BE (err != REG_NOERROR, 0))  in re_search_internal()
678   err = match_ctx_init (&mctx, eflags, dfa->nbackref * 2);  in re_search_internal()
679   if (BE (err != REG_NOERROR, 0))  in re_search_internal()
691 	  err = REG_ESPACE;  in re_search_internal()
716       err = REG_NOMATCH;  in re_search_internal()
780 		  err = re_string_reconstruct (&mctx.input, match_first,  in re_search_internal()
782 		  if (BE (err != REG_NOERROR, 0))  in re_search_internal()
796 	          err = REG_NOMATCH;  in re_search_internal()
805       err = re_string_reconstruct (&mctx.input, match_first, eflags);  in re_search_internal()
806       if (BE (err != REG_NOERROR, 0))  in re_search_internal()
825 	      err = REG_ESPACE;  in re_search_internal()
840 		  err = prune_impossible_nodes (&mctx);  in re_search_internal()
841 		  if (err == REG_NOERROR)  in re_search_internal()
843 		  if (BE (err != REG_NOMATCH, 0))  in re_search_internal()
857   assert (err == REG_NOERROR);  in re_search_internal()
878 	  err = set_regs (preg, &mctx, nmatch, pmatch,  in re_search_internal()
880 	  if (BE (err != REG_NOERROR, 0))  in re_search_internal()
930   return err;  in re_search_internal()
1021 acquire_init_state_context (reg_errcode_t *err, const re_match_context_t *mctx,  in acquire_init_state_context()  argument
1040 	  return re_acquire_state_context (err, dfa,  in acquire_init_state_context()
1067   reg_errcode_t err;  in check_matching()  local
1075   err = REG_NOERROR;  in check_matching()
1076   cur_state = acquire_init_state_context (&err, mctx, cur_str_idx);  in check_matching()
1080       assert (err == REG_ESPACE);  in check_matching()
1093 	  err = check_subexp_matching_top (mctx, &cur_state->nodes, 0);  in check_matching()
1094 	  if (BE (err != REG_NOERROR, 0))  in check_matching()
1095 	    return err;  in check_matching()
1099 	      err = transit_state_bkref (mctx, &cur_state->nodes);  in check_matching()
1100 	      if (BE (err != REG_NOERROR, 0))  in check_matching()
1101 	        return err;  in check_matching()
1131           err = extend_buffers (mctx);  in check_matching()
1132           if (BE (err != REG_NOERROR, 0))  in check_matching()
1134 	      assert (err == REG_ESPACE);  in check_matching()
1139       cur_state = transit_state (&err, mctx, cur_state);  in check_matching()
1141 	cur_state = merge_state_with_log (&err, mctx, cur_state);  in check_matching()
1148 	  if (BE (err != REG_NOERROR, 0))  in check_matching()
1153 	      || (cur_state = find_recover_state (&err, mctx)) == NULL)  in check_matching()
1341   reg_errcode_t err;  in push_fail_stack()  local
1357   err = re_node_set_init_copy (&fs->stack[num].eps_via_nodes, eps_via_nodes);  in push_fail_stack()
1358   return err;  in push_fail_stack()
1586   reg_errcode_t err;  in sift_states_backward()  local
1597   err = re_node_set_init_1 (&cur_dest, sctx->last_node);  in sift_states_backward()
1598   if (BE (err != REG_NOERROR, 0))  in sift_states_backward()
1599     return err;  in sift_states_backward()
1600   err = update_cur_sifted_state (mctx, sctx, str_idx, &cur_dest);  in sift_states_backward()
1601   if (BE (err != REG_NOERROR, 0))  in sift_states_backward()
1621 	  err = build_sifted_states (mctx, sctx, str_idx, &cur_dest);  in sift_states_backward()
1622           if (BE (err != REG_NOERROR, 0))  in sift_states_backward()
1630       err = update_cur_sifted_state (mctx, sctx, str_idx, &cur_dest);  in sift_states_backward()
1631       if (BE (err != REG_NOERROR, 0))  in sift_states_backward()
1634   err = REG_NOERROR;  in sift_states_backward()
1637   return err;  in sift_states_backward()
1712       reg_errcode_t err;  in clean_state_log_if_needed()  local
1713       err = extend_buffers (mctx);  in clean_state_log_if_needed()
1714       if (BE (err != REG_NOERROR, 0))  in clean_state_log_if_needed()
1715 	return err;  in clean_state_log_if_needed()
1733   reg_errcode_t err;  in merge_state_array()  local
1741 	  err = re_node_set_init_union (&merged_set, &dst[st_idx]->nodes,  in merge_state_array()
1743 	  if (BE (err != REG_NOERROR, 0))  in merge_state_array()
1744 	    return err;  in merge_state_array()
1745 	  dst[st_idx] = re_acquire_state (&err, dfa, &merged_set);  in merge_state_array()
1747 	  if (BE (err != REG_NOERROR, 0))  in merge_state_array()
1748 	    return err;  in merge_state_array()
1760   reg_errcode_t err;  in update_cur_sifted_state()  local
1773 	  err = add_epsilon_src_nodes (dfa, dest_nodes, candidates);  in update_cur_sifted_state()
1774 	  if (BE (err != REG_NOERROR, 0))  in update_cur_sifted_state()
1775 	    return err;  in update_cur_sifted_state()
1780 	      err = check_subexp_limits (dfa, dest_nodes, candidates, &sctx->limits,  in update_cur_sifted_state()
1782 	      if (BE (err != REG_NOERROR, 0))  in update_cur_sifted_state()
1783 		return err;  in update_cur_sifted_state()
1787       sctx->sifted_states[str_idx] = re_acquire_state (&err, dfa, dest_nodes);  in update_cur_sifted_state()
1788       if (BE (err != REG_NOERROR, 0))  in update_cur_sifted_state()
1789 	return err;  in update_cur_sifted_state()
1794       err = sift_states_bkref (mctx, sctx, str_idx, candidates);  in update_cur_sifted_state()
1795       if (BE (err != REG_NOERROR, 0))  in update_cur_sifted_state()
1796 	return err;  in update_cur_sifted_state()
1806   reg_errcode_t err = REG_NOERROR;  in add_epsilon_src_nodes()  local
1809   re_dfastate_t *state = re_acquire_state (&err, dfa, dest_nodes);  in add_epsilon_src_nodes()
1810   if (BE (err != REG_NOERROR, 0))  in add_epsilon_src_nodes()
1811     return err;  in add_epsilon_src_nodes()
1815       err = re_node_set_alloc (&state->inveclosure, dest_nodes->nelem);  in add_epsilon_src_nodes()
1816       if (BE (err != REG_NOERROR, 0))  in add_epsilon_src_nodes()
1832     reg_errcode_t err;  in sub_epsilon_src_nodes()  local
1852 		err = re_node_set_add_intersect (&except_nodes, candidates,  in sub_epsilon_src_nodes()
1854 		if (BE (err != REG_NOERROR, 0))  in sub_epsilon_src_nodes()
1857 		    return err;  in sub_epsilon_src_nodes()
2029   reg_errcode_t err;  in check_subexp_limits()  local
2062 	      err = sub_epsilon_src_nodes (dfa, ops_node, dest_nodes,  in check_subexp_limits()
2064 	      if (BE (err != REG_NOERROR, 0))  in check_subexp_limits()
2065 		return err;  in check_subexp_limits()
2080 		    err = sub_epsilon_src_nodes (dfa, node, dest_nodes,  in check_subexp_limits()
2082 		    if (BE (err != REG_NOERROR, 0))  in check_subexp_limits()
2083 		      return err;  in check_subexp_limits()
2100 		  err = sub_epsilon_src_nodes (dfa, node, dest_nodes,  in check_subexp_limits()
2102 		  if (BE (err != REG_NOERROR, 0))  in check_subexp_limits()
2103 		    return err;  in check_subexp_limits()
2117   reg_errcode_t err;  in sift_states_bkref()  local
2165 	      err = re_node_set_init_copy (&local_sctx.limits, &sctx->limits);  in sift_states_bkref()
2166 	      if (BE (err != REG_NOERROR, 0))  in sift_states_bkref()
2174 	      err = REG_ESPACE;  in sift_states_bkref()
2178 	  err = sift_states_backward (mctx, &local_sctx);  in sift_states_bkref()
2179 	  if (BE (err != REG_NOERROR, 0))  in sift_states_bkref()
2183 	      err = merge_state_array (dfa, sctx->limited_states,  in sift_states_bkref()
2186 	      if (BE (err != REG_NOERROR, 0))  in sift_states_bkref()
2197   err = REG_NOERROR;  in sift_states_bkref()
2204   return err;  in sift_states_bkref()
2241 transit_state (reg_errcode_t *err, re_match_context_t *mctx,  in transit_state()  argument
2251       *err = transit_state_mb (mctx, state);  in transit_state()
2252       if (BE (*err != REG_NOERROR, 0))  in transit_state()
2261     return transit_state_sb (err, mctx, state);  in transit_state()
2288 	  *err = REG_ESPACE;  in transit_state()
2299 merge_state_with_log (reg_errcode_t *err, re_match_context_t *mctx,  in merge_state_with_log()  argument
2328           *err = re_node_set_init_union (&next_nodes, table_nodes,  in merge_state_with_log()
2330           if (BE (*err != REG_NOERROR, 0))  in merge_state_with_log()
2342         = re_acquire_state_context (err, dfa, &next_nodes, context);  in merge_state_with_log()
2355       *err = check_subexp_matching_top (mctx, &next_state->nodes,  in merge_state_with_log()
2357       if (BE (*err != REG_NOERROR, 0))  in merge_state_with_log()
2363 	  *err = transit_state_bkref (mctx, &next_state->nodes);  in merge_state_with_log()
2364 	  if (BE (*err != REG_NOERROR, 0))  in merge_state_with_log()
2378 find_recover_state (reg_errcode_t *err, re_match_context_t *mctx)  in find_recover_state()  argument
2394       cur_state = merge_state_with_log (err, mctx, NULL);  in find_recover_state()
2396   while (*err == REG_NOERROR && cur_state == NULL);  in find_recover_state()
2414   reg_errcode_t err;  in check_subexp_matching_top()  local
2429 	  err = match_ctx_add_subtop (mctx, node, str_idx);  in check_subexp_matching_top()
2430 	  if (BE (err != REG_NOERROR, 0))  in check_subexp_matching_top()
2431 	    return err;  in check_subexp_matching_top()
2442 transit_state_sb (reg_errcode_t *err, re_match_context_t *mctx,
2451   *err = re_node_set_alloc (&next_nodes, state->nodes.nelem + 1);
2452   if (BE (*err != REG_NOERROR, 0))
2459 	  *err = re_node_set_merge (&next_nodes,
2461 	  if (BE (*err != REG_NOERROR, 0))
2469   next_state = re_acquire_state_context (err, dfa, &next_nodes, context);
2485   reg_errcode_t err;  in transit_state_mb()  local
2520       err = clean_state_log_if_needed (mctx, dest_idx);  in transit_state_mb()
2521       if (BE (err != REG_NOERROR, 0))  in transit_state_mb()
2522 	return err;  in transit_state_mb()
2533 	  err = re_node_set_init_union (&dest_nodes,  in transit_state_mb()
2535 	  if (BE (err != REG_NOERROR, 0))  in transit_state_mb()
2536 	    return err;  in transit_state_mb()
2540 	= re_acquire_state_context (&err, dfa, &dest_nodes, context);  in transit_state_mb()
2543       if (BE (mctx->state_log[dest_idx] == NULL && err != REG_NOERROR, 0))  in transit_state_mb()
2544 	return err;  in transit_state_mb()
2555   reg_errcode_t err;  in transit_state_bkref()  local
2582       err = get_subexp (mctx, node_idx, cur_str_idx);  in transit_state_bkref()
2583       if (BE (err != REG_NOERROR, 0))  in transit_state_bkref()
2614 		= re_acquire_state_context (&err, dfa, new_dest_nodes,  in transit_state_bkref()
2617 		      && err != REG_NOERROR, 0))  in transit_state_bkref()
2623 	      err = re_node_set_init_union (&dest_nodes,  in transit_state_bkref()
2626 	      if (BE (err != REG_NOERROR, 0))  in transit_state_bkref()
2632 		= re_acquire_state_context (&err, dfa, &dest_nodes, context);  in transit_state_bkref()
2635 		      && err != REG_NOERROR, 0))  in transit_state_bkref()
2643 	      err = check_subexp_matching_top (mctx, new_dest_nodes,  in transit_state_bkref()
2645 	      if (BE (err != REG_NOERROR, 0))  in transit_state_bkref()
2647 	      err = transit_state_bkref (mctx, new_dest_nodes);  in transit_state_bkref()
2648 	      if (BE (err != REG_NOERROR, 0))  in transit_state_bkref()
2653   err = REG_NOERROR;  in transit_state_bkref()
2655   return err;  in transit_state_bkref()
2687       reg_errcode_t err;  in get_subexp()  local
2714 		  err = clean_state_log_if_needed (mctx,  in get_subexp()
2717 		  if (BE (err != REG_NOERROR, 0))  in get_subexp()
2718 		    return err;  in get_subexp()
2726 	  err = get_subexp_sub (mctx, sub_top, sub_last, bkref_node,  in get_subexp()
2733 	  if (err == REG_NOMATCH)  in get_subexp()
2735 	  if (BE (err != REG_NOERROR, 0))  in get_subexp()
2736 	    return err;  in get_subexp()
2760 		  err = extend_buffers (mctx);  in get_subexp()
2761 		  if (BE (err != REG_NOERROR, 0))  in get_subexp()
2762 		    return err;  in get_subexp()
2786 	  err = check_arrival (mctx, sub_top->path, sub_top->node,  in get_subexp()
2788 	  if (err == REG_NOMATCH)  in get_subexp()
2790 	  if (BE (err != REG_NOERROR, 0))  in get_subexp()
2791 	      return err;  in get_subexp()
2795 	  err = get_subexp_sub (mctx, sub_top, sub_last, bkref_node,  in get_subexp()
2797 	  if (err == REG_NOMATCH)  in get_subexp()
2815   reg_errcode_t err;  in get_subexp_sub()  local
2818   err = check_arrival (mctx, &sub_last->path, sub_last->node,  in get_subexp_sub()
2820   if (err != REG_NOERROR)  in get_subexp_sub()
2821     return err;  in get_subexp_sub()
2822   err = match_ctx_add_entry (mctx, bkref_node, bkref_str, sub_top->str_idx,  in get_subexp_sub()
2824   if (BE (err != REG_NOERROR, 0))  in get_subexp_sub()
2825     return err;  in get_subexp_sub()
2867   reg_errcode_t err;  in check_arrival()  local
2904       err = re_node_set_init_1 (&next_nodes, top_node);  in check_arrival()
2905       if (BE (err != REG_NOERROR, 0))  in check_arrival()
2906 	return err;  in check_arrival()
2907       err = check_arrival_expand_ecl (dfa, &next_nodes, subexp_num, type);  in check_arrival()
2908       if (BE (err != REG_NOERROR, 0))  in check_arrival()
2911 	  return err;  in check_arrival()
2919 	  err = re_node_set_init_copy (&next_nodes, &cur_state->nodes);  in check_arrival()
2920 	  if (BE ( err != REG_NOERROR, 0))  in check_arrival()
2921 	    return err;  in check_arrival()
2930 	  err = expand_bkref_cache (mctx, &next_nodes, str_idx,  in check_arrival()
2932 	  if (BE ( err != REG_NOERROR, 0))  in check_arrival()
2935 	      return err;  in check_arrival()
2938       cur_state = re_acquire_state_context (&err, dfa, &next_nodes, context);  in check_arrival()
2939       if (BE (cur_state == NULL && err != REG_NOERROR, 0))  in check_arrival()
2942 	  return err;  in check_arrival()
2952 	  err = re_node_set_merge (&next_nodes,  in check_arrival()
2954 	  if (BE (err != REG_NOERROR, 0))  in check_arrival()
2957 	      return err;  in check_arrival()
2962 	  err = check_arrival_add_next_nodes (mctx, str_idx,  in check_arrival()
2964 	  if (BE (err != REG_NOERROR, 0))  in check_arrival()
2967 	      return err;  in check_arrival()
2973 	  err = check_arrival_expand_ecl (dfa, &next_nodes, subexp_num, type);  in check_arrival()
2974 	  if (BE (err != REG_NOERROR, 0))  in check_arrival()
2977 	      return err;  in check_arrival()
2979 	  err = expand_bkref_cache (mctx, &next_nodes, str_idx,  in check_arrival()
2981 	  if (BE ( err != REG_NOERROR, 0))  in check_arrival()
2984 	      return err;  in check_arrival()
2988       cur_state = re_acquire_state_context (&err, dfa, &next_nodes, context);  in check_arrival()
2989       if (BE (cur_state == NULL && err != REG_NOERROR, 0))  in check_arrival()
2992 	  return err;  in check_arrival()
3030   reg_errcode_t err;  in check_arrival_add_next_nodes()  local
3056 		  err = re_node_set_merge (&union_set, &dest_state->nodes);  in check_arrival_add_next_nodes()
3057 		  if (BE (err != REG_NOERROR, 0))  in check_arrival_add_next_nodes()
3060 		      return err;  in check_arrival_add_next_nodes()
3069 	      mctx->state_log[next_idx] = re_acquire_state (&err, dfa,  in check_arrival_add_next_nodes()
3072 		      && err != REG_NOERROR, 0))  in check_arrival_add_next_nodes()
3075 		  return err;  in check_arrival_add_next_nodes()
3106   reg_errcode_t err;  in check_arrival_expand_ecl()  local
3112   err = re_node_set_alloc (&new_nodes, cur_nodes->nelem);  in check_arrival_expand_ecl()
3113   if (BE (err != REG_NOERROR, 0))  in check_arrival_expand_ecl()
3114     return err;  in check_arrival_expand_ecl()
3126 	  err = re_node_set_merge (&new_nodes, eclosure);  in check_arrival_expand_ecl()
3127 	  if (BE (err != REG_NOERROR, 0))  in check_arrival_expand_ecl()
3130 	      return err;  in check_arrival_expand_ecl()
3136 	  err = check_arrival_expand_ecl_sub (dfa, &new_nodes, cur_node,  in check_arrival_expand_ecl()
3138 	  if (BE (err != REG_NOERROR, 0))  in check_arrival_expand_ecl()
3141 	      return err;  in check_arrival_expand_ecl()
3205   reg_errcode_t err;  in expand_bkref_cache()  local
3234 	  err = re_node_set_init_1 (&new_dests, next_node);  in expand_bkref_cache()
3238 	  if (BE (err != REG_NOERROR || err2 != REG_NOERROR  in expand_bkref_cache()
3241 	      err = (err != REG_NOERROR ? err  in expand_bkref_cache()
3243 	      return err;  in expand_bkref_cache()
3258 	      err = re_node_set_init_copy (&union_set,  in expand_bkref_cache()
3261 	      if (BE (err != REG_NOERROR || ! ok, 0))  in expand_bkref_cache()
3264 		  err = err != REG_NOERROR ? err : REG_ESPACE;  in expand_bkref_cache()
3265 		  return err;  in expand_bkref_cache()
3270 	      err = re_node_set_init_1 (&union_set, next_node);  in expand_bkref_cache()
3271 	      if (BE (err != REG_NOERROR, 0))  in expand_bkref_cache()
3272 		return err;  in expand_bkref_cache()
3274 	  mctx->state_log[to_idx] = re_acquire_state (&err, dfa, &union_set);  in expand_bkref_cache()
3277 		  && err != REG_NOERROR, 0))  in expand_bkref_cache()
3278 	    return err;  in expand_bkref_cache()
3292   reg_errcode_t err;  in build_trtable()  local
3345   err = re_node_set_alloc (&follows, ndests + 1);  in build_trtable()
3346   if (BE (err != REG_NOERROR, 0))  in build_trtable()
3392 	      err = re_node_set_merge (&follows, dfa->eclosures + next_node);  in build_trtable()
3393 	      if (BE (err != REG_NOERROR, 0))  in build_trtable()
3397       dest_states[i] = re_acquire_state_context (&err, dfa, &follows, 0);  in build_trtable()
3398       if (BE (dest_states[i] == NULL && err != REG_NOERROR, 0))  in build_trtable()
3404 	  dest_states_word[i] = re_acquire_state_context (&err, dfa, &follows,  in build_trtable()
3406 	  if (BE (dest_states_word[i] == NULL && err != REG_NOERROR, 0))  in build_trtable()
3412 	  dest_states_nl[i] = re_acquire_state_context (&err, dfa, &follows,  in build_trtable()
3414 	  if (BE (dest_states_nl[i] == NULL && err != REG_NOERROR, 0))  in build_trtable()
3523   reg_errcode_t err;  in group_nodes_into_DFAstates()  local
3669 	      err = re_node_set_init_copy (dests_node + ndests, &dests_node[j]);  in group_nodes_into_DFAstates()
3670 	      if (BE (err != REG_NOERROR, 0))  in group_nodes_into_DFAstates()
3688 	  err = re_node_set_init_1 (dests_node + ndests, cur_nodes->elems[i]);  in group_nodes_into_DFAstates()
3689 	  if (BE (err != REG_NOERROR, 0))  in group_nodes_into_DFAstates()