Method RunWorkqOnEmptyString

extern/re2/re2/dfa.cc:912–920

Runs the work queue, processing the empty strings indicated by flag. For example, flag == kEmptyBeginLine|kEmptyEndLine means to match both ^ and $. It is important that callers pass all flags at once: processing both ^ and $ is not the same as first processing only ^ and then processing only $. Doing the two-step sequence won't match ^$^$^$ but processing ^ and $ simultaneously will (and is the

// ^$^$^$ but processing ^ and $ simultaneously will (and is the behavior
// exhibited by existing implementations).
void DFA::RunWorkqOnEmptyString(Workq* oldq, Workq* newq, uint32_t flag) {
  newq->clear();
  for (Workq::iterator i = oldq->begin(); i != oldq->end(); ++i) {
    if (oldq->is_mark(*i))
      AddToQueue(newq, Mark, flag);
    else
      AddToQueue(newq, *i, flag);
  }
}

// Runs the work queue, processing the single byte c followed by any empty
// strings indicated by flag.  For example, c == 'a' and flag == kEmptyEndLine,