Coverage Report

Created: 2024-01-17 17:09

/src/re2/re2/parse.cc
Line
Count
Source (jump to first uncovered line)
1
// Copyright 2006 The RE2 Authors.  All Rights Reserved.
2
// Use of this source code is governed by a BSD-style
3
// license that can be found in the LICENSE file.
4
5
// Regular expression parser.
6
7
// The parser is a simple precedence-based parser with a
8
// manual stack.  The parsing work is done by the methods
9
// of the ParseState class.  The Regexp::Parse function is
10
// essentially just a lexer that calls the ParseState method
11
// for each token.
12
13
// The parser recognizes POSIX extended regular expressions
14
// excluding backreferences, collating elements, and collating
15
// classes.  It also allows the empty string as a regular expression
16
// and recognizes the Perl escape sequences \d, \s, \w, \D, \S, and \W.
17
// See regexp.h for rationale.
18
19
#include <ctype.h>
20
#include <stddef.h>
21
#include <stdint.h>
22
#include <string.h>
23
#include <algorithm>
24
#include <map>
25
#include <string>
26
#include <vector>
27
28
#include "util/util.h"
29
#include "util/logging.h"
30
#include "util/strutil.h"
31
#include "util/utf.h"
32
#include "re2/pod_array.h"
33
#include "re2/regexp.h"
34
#include "re2/stringpiece.h"
35
#include "re2/unicode_casefold.h"
36
#include "re2/unicode_groups.h"
37
#include "re2/walker-inl.h"
38
39
#if defined(RE2_USE_ICU)
40
#include "unicode/uniset.h"
41
#include "unicode/unistr.h"
42
#include "unicode/utypes.h"
43
#endif
44
45
namespace re2 {
46
47
// Controls the maximum repeat count permitted by the parser.
48
static int maximum_repeat_count = 1000;
49
50
0
void Regexp::FUZZING_ONLY_set_maximum_repeat_count(int i) {
51
0
  maximum_repeat_count = i;
52
0
}
53
54
// Regular expression parse state.
55
// The list of parsed regexps so far is maintained as a vector of
56
// Regexp pointers called the stack.  Left parenthesis and vertical
57
// bar markers are also placed on the stack, as Regexps with
58
// non-standard opcodes.
59
// Scanning a left parenthesis causes the parser to push a left parenthesis
60
// marker on the stack.
61
// Scanning a vertical bar causes the parser to pop the stack until it finds a
62
// vertical bar or left parenthesis marker (not popping the marker),
63
// concatenate all the popped results, and push them back on
64
// the stack (DoConcatenation).
65
// Scanning a right parenthesis causes the parser to act as though it
66
// has seen a vertical bar, which then leaves the top of the stack in the
67
// form LeftParen regexp VerticalBar regexp VerticalBar ... regexp VerticalBar.
68
// The parser pops all this off the stack and creates an alternation of the
69
// regexps (DoAlternation).
70
71
class Regexp::ParseState {
72
 public:
73
  ParseState(ParseFlags flags, const StringPiece& whole_regexp,
74
             RegexpStatus* status);
75
  ~ParseState();
76
77
285k
  ParseFlags flags() { return flags_; }
78
17.4k
  int rune_max() { return rune_max_; }
79
80
  // Parse methods.  All public methods return a bool saying
81
  // whether parsing should continue.  If a method returns
82
  // false, it has set fields in *status_, and the parser
83
  // should return NULL.
84
85
  // Pushes the given regular expression onto the stack.
86
  // Could check for too much memory used here.
87
  bool PushRegexp(Regexp* re);
88
89
  // Pushes the literal rune r onto the stack.
90
  bool PushLiteral(Rune r);
91
92
  // Pushes a regexp with the given op (and no args) onto the stack.
93
  bool PushSimpleOp(RegexpOp op);
94
95
  // Pushes a ^ onto the stack.
96
  bool PushCaret();
97
98
  // Pushes a \b (word == true) or \B (word == false) onto the stack.
99
  bool PushWordBoundary(bool word);
100
101
  // Pushes a $ onto the stack.
102
  bool PushDollar();
103
104
  // Pushes a . onto the stack
105
  bool PushDot();
106
107
  // Pushes a repeat operator regexp onto the stack.
108
  // A valid argument for the operator must already be on the stack.
109
  // s is the name of the operator, for use in error messages.
110
  bool PushRepeatOp(RegexpOp op, const StringPiece& s, bool nongreedy);
111
112
  // Pushes a repetition regexp onto the stack.
113
  // A valid argument for the operator must already be on the stack.
114
  bool PushRepetition(int min, int max, const StringPiece& s, bool nongreedy);
115
116
  // Checks whether a particular regexp op is a marker.
117
  bool IsMarker(RegexpOp op);
118
119
  // Processes a left parenthesis in the input.
120
  // Pushes a marker onto the stack.
121
  bool DoLeftParen(const StringPiece& name);
122
  bool DoLeftParenNoCapture();
123
124
  // Processes a vertical bar in the input.
125
  bool DoVerticalBar();
126
127
  // Processes a right parenthesis in the input.
128
  bool DoRightParen();
129
130
  // Processes the end of input, returning the final regexp.
131
  Regexp* DoFinish();
132
133
  // Finishes the regexp if necessary, preparing it for use
134
  // in a more complicated expression.
135
  // If it is a CharClassBuilder, converts into a CharClass.
136
  Regexp* FinishRegexp(Regexp*);
137
138
  // These routines don't manipulate the parse stack
139
  // directly, but they do need to look at flags_.
140
  // ParseCharClass also manipulates the internals of Regexp
141
  // while creating *out_re.
142
143
  // Parse a character class into *out_re.
144
  // Removes parsed text from s.
145
  bool ParseCharClass(StringPiece* s, Regexp** out_re,
146
                      RegexpStatus* status);
147
148
  // Parse a character class character into *rp.
149
  // Removes parsed text from s.
150
  bool ParseCCCharacter(StringPiece* s, Rune *rp,
151
                        const StringPiece& whole_class,
152
                        RegexpStatus* status);
153
154
  // Parse a character class range into rr.
155
  // Removes parsed text from s.
156
  bool ParseCCRange(StringPiece* s, RuneRange* rr,
157
                    const StringPiece& whole_class,
158
                    RegexpStatus* status);
159
160
  // Parse a Perl flag set or non-capturing group from s.
161
  bool ParsePerlFlags(StringPiece* s);
162
163
164
  // Finishes the current concatenation,
165
  // collapsing it into a single regexp on the stack.
166
  void DoConcatenation();
167
168
  // Finishes the current alternation,
169
  // collapsing it to a single regexp on the stack.
170
  void DoAlternation();
171
172
  // Generalized DoAlternation/DoConcatenation.
173
  void DoCollapse(RegexpOp op);
174
175
  // Maybe concatenate Literals into LiteralString.
176
  bool MaybeConcatString(int r, ParseFlags flags);
177
178
private:
179
  ParseFlags flags_;
180
  StringPiece whole_regexp_;
181
  RegexpStatus* status_;
182
  Regexp* stacktop_;
183
  int ncap_;  // number of capturing parens seen
184
  int rune_max_;  // maximum char value for this encoding
185
186
  ParseState(const ParseState&) = delete;
187
  ParseState& operator=(const ParseState&) = delete;
188
};
189
190
// Pseudo-operators - only on parse stack.
191
const RegexpOp kLeftParen = static_cast<RegexpOp>(kMaxRegexpOp+1);
192
const RegexpOp kVerticalBar = static_cast<RegexpOp>(kMaxRegexpOp+2);
193
194
Regexp::ParseState::ParseState(ParseFlags flags,
195
                               const StringPiece& whole_regexp,
196
                               RegexpStatus* status)
197
  : flags_(flags), whole_regexp_(whole_regexp),
198
42.1k
    status_(status), stacktop_(NULL), ncap_(0) {
199
42.1k
  if (flags_ & Latin1)
200
34.3k
    rune_max_ = 0xFF;
201
7.78k
  else
202
7.78k
    rune_max_ = Runemax;
203
42.1k
}
204
205
// Cleans up by freeing all the regexps on the stack.
206
42.1k
Regexp::ParseState::~ParseState() {
207
42.1k
  Regexp* next;
208
95.2k
  for (Regexp* re = stacktop_; re != NULL; re = next) {
209
53.0k
    next = re->down_;
210
53.0k
    re->down_ = NULL;
211
53.0k
    if (re->op() == kLeftParen)
212
6.46k
      delete re->name_;
213
53.0k
    re->Decref();
214
53.0k
  }
215
42.1k
}
216
217
// Finishes the regexp if necessary, preparing it for use in
218
// a more complex expression.
219
// If it is a CharClassBuilder, converts into a CharClass.
220
589k
Regexp* Regexp::ParseState::FinishRegexp(Regexp* re) {
221
589k
  if (re == NULL)
222
0
    return NULL;
223
589k
  re->down_ = NULL;
224
225
589k
  if (re->op_ == kRegexpCharClass && re->ccb_ != NULL) {
226
117k
    CharClassBuilder* ccb = re->ccb_;
227
117k
    re->ccb_ = NULL;
228
117k
    re->cc_ = ccb->GetCharClass();
229
117k
    delete ccb;
230
117k
  }
231
232
589k
  return re;
233
589k
}
234
235
// Pushes the given regular expression onto the stack.
236
// Could check for too much memory used here.
237
831k
bool Regexp::ParseState::PushRegexp(Regexp* re) {
238
831k
  MaybeConcatString(-1, NoParseFlags);
239
240
  // Special case: a character class of one character is just
241
  // a literal.  This is a common idiom for escaping
242
  // single characters (e.g., [.] instead of \.), and some
243
  // analysis does better with fewer character classes.
244
  // Similarly, [Aa] can be rewritten as a literal A with ASCII case folding.
245
831k
  if (re->op_ == kRegexpCharClass && re->ccb_ != NULL) {
246
366k
    re->ccb_->RemoveAbove(rune_max_);
247
366k
    if (re->ccb_->size() == 1) {
248
24.7k
      Rune r = re->ccb_->begin()->lo;
249
24.7k
      re->Decref();
250
24.7k
      re = new Regexp(kRegexpLiteral, flags_);
251
24.7k
      re->rune_ = r;
252
342k
    } else if (re->ccb_->size() == 2) {
253
303k
      Rune r = re->ccb_->begin()->lo;
254
303k
      if ('A' <= r && r <= 'Z' && re->ccb_->Contains(r + 'a' - 'A')) {
255
213k
        re->Decref();
256
213k
        re = new Regexp(kRegexpLiteral, flags_ | FoldCase);
257
213k
        re->rune_ = r + 'a' - 'A';
258
213k
      }
259
303k
    }
260
366k
  }
261
262
831k
  if (!IsMarker(re->op()))
263
735k
    re->simple_ = re->ComputeSimple();
264
831k
  re->down_ = stacktop_;
265
831k
  stacktop_ = re;
266
831k
  return true;
267
831k
}
268
269
// Searches the case folding tables and returns the CaseFold* that contains r.
270
// If there isn't one, returns the CaseFold* with smallest f->lo bigger than r.
271
// If there isn't one, returns NULL.
272
4.06M
const CaseFold* LookupCaseFold(const CaseFold *f, int n, Rune r) {
273
4.06M
  const CaseFold* ef = f + n;
274
275
  // Binary search for entry containing r.
276
35.7M
  while (n > 0) {
277
33.7M
    int m = n/2;
278
33.7M
    if (f[m].lo <= r && r <= f[m].hi)
279
2.08M
      return &f[m];
280
31.6M
    if (r < f[m].lo) {
281
20.2M
      n = m;
282
20.2M
    } else {
283
11.4M
      f += m+1;
284
11.4M
      n -= m+1;
285
11.4M
    }
286
31.6M
  }
287
288
  // There is no entry that contains r, but f points
289
  // where it would have been.  Unless f points at
290
  // the end of the array, it points at the next entry
291
  // after r.
292
1.97M
  if (f < ef)
293
1.88M
    return f;
294
295
  // No entry contains r; no entry contains runes > r.
296
91.4k
  return NULL;
297
1.97M
}
298
299
// Returns the result of applying the fold f to the rune r.
300
1.01M
Rune ApplyFold(const CaseFold *f, Rune r) {
301
1.01M
  switch (f->delta) {
302
1.01M
    default:
303
1.01M
      return r + f->delta;
304
305
0
    case EvenOddSkip:  // even <-> odd but only applies to every other
306
0
      if ((r - f->lo) % 2)
307
0
        return r;
308
0
      FALLTHROUGH_INTENDED;
309
2.96k
    case EvenOdd:  // even <-> odd
310
2.96k
      if (r%2 == 0)
311
1.54k
        return r + 1;
312
1.41k
      return r - 1;
313
314
0
    case OddEvenSkip:  // odd <-> even but only applies to every other
315
0
      if ((r - f->lo) % 2)
316
0
        return r;
317
0
      FALLTHROUGH_INTENDED;
318
2.51k
    case OddEven:  // odd <-> even
319
2.51k
      if (r%2 == 1)
320
1.20k
        return r + 1;
321
1.31k
      return r - 1;
322
1.01M
  }
323
1.01M
}
324
325
// Returns the next Rune in r's folding cycle (see unicode_casefold.h).
326
// Examples:
327
//   CycleFoldRune('A') = 'a'
328
//   CycleFoldRune('a') = 'A'
329
//
330
//   CycleFoldRune('K') = 'k'
331
//   CycleFoldRune('k') = 0x212A (Kelvin)
332
//   CycleFoldRune(0x212A) = 'K'
333
//
334
//   CycleFoldRune('?') = '?'
335
1.35M
Rune CycleFoldRune(Rune r) {
336
1.35M
  const CaseFold* f = LookupCaseFold(unicode_casefold, num_unicode_casefold, r);
337
1.35M
  if (f == NULL || r < f->lo)
338
341k
    return r;
339
1.01M
  return ApplyFold(f, r);
340
1.35M
}
341
342
// Add lo-hi to the class, along with their fold-equivalent characters.
343
// If lo-hi is already in the class, assume that the fold-equivalent
344
// chars are there too, so there's no work to do.
345
2.82M
static void AddFoldedRange(CharClassBuilder* cc, Rune lo, Rune hi, int depth) {
346
  // AddFoldedRange calls itself recursively for each rune in the fold cycle.
347
  // Most folding cycles are small: there aren't any bigger than four in the
348
  // current Unicode tables.  make_unicode_casefold.py checks that
349
  // the cycles are not too long, and we double-check here using depth.
350
2.82M
  if (depth > 10) {
351
0
    LOG(DFATAL) << "AddFoldedRange recurses too much.";
352
0
    return;
353
0
  }
354
355
2.82M
  if (!cc->AddRange(lo, hi))  // lo-hi was already there? we're done
356
953k
    return;
357
358
4.49M
  while (lo <= hi) {
359
2.70M
    const CaseFold* f = LookupCaseFold(unicode_casefold, num_unicode_casefold, lo);
360
2.70M
    if (f == NULL)  // lo has no fold, nor does anything above lo
361
91.0k
      break;
362
2.61M
    if (lo < f->lo) {  // lo has no fold; next rune with a fold is f->lo
363
1.54M
      lo = f->lo;
364
1.54M
      continue;
365
1.54M
    }
366
367
    // Add in the result of folding the range lo - f->hi
368
    // and that range's fold, recursively.
369
1.07M
    Rune lo1 = lo;
370
1.07M
    Rune hi1 = std::min<Rune>(hi, f->hi);
371
1.07M
    switch (f->delta) {
372
797k
      default:
373
797k
        lo1 += f->delta;
374
797k
        hi1 += f->delta;
375
797k
        break;
376
214k
      case EvenOdd:
377
214k
        if (lo1%2 == 1)
378
56.0k
          lo1--;
379
214k
        if (hi1%2 == 0)
380
28.4k
          hi1++;
381
214k
        break;
382
59.8k
      case OddEven:
383
59.8k
        if (lo1%2 == 0)
384
5.65k
          lo1--;
385
59.8k
        if (hi1%2 == 1)
386
8.86k
          hi1++;
387
59.8k
        break;
388
1.07M
    }
389
1.07M
    AddFoldedRange(cc, lo1, hi1, depth+1);
390
391
    // Pick up where this fold left off.
392
1.07M
    lo = f->hi + 1;
393
1.07M
  }
394
1.87M
}
395
396
// Pushes the literal rune r onto the stack.
397
935k
bool Regexp::ParseState::PushLiteral(Rune r) {
398
  // Do case folding if needed.
399
935k
  if ((flags_ & FoldCase) && CycleFoldRune(r) != r) {
400
332k
    Regexp* re = new Regexp(kRegexpCharClass, flags_ & ~FoldCase);
401
332k
    re->ccb_ = new CharClassBuilder;
402
332k
    Rune r1 = r;
403
684k
    do {
404
684k
      if (!(flags_ & NeverNL) || r != '\n') {
405
684k
        re->ccb_->AddRange(r, r);
406
684k
      }
407
684k
      r = CycleFoldRune(r);
408
684k
    } while (r != r1);
409
332k
    return PushRegexp(re);
410
332k
  }
411
412
  // Exclude newline if applicable.
413
603k
  if ((flags_ & NeverNL) && r == '\n')
414
7.06k
    return PushRegexp(new Regexp(kRegexpNoMatch, flags_));
415
416
  // No fancy stuff worked.  Ordinary literal.
417
596k
  if (MaybeConcatString(r, flags_))
418
353k
    return true;
419
420
243k
  Regexp* re = new Regexp(kRegexpLiteral, flags_);
421
243k
  re->rune_ = r;
422
243k
  return PushRegexp(re);
423
596k
}
424
425
// Pushes a ^ onto the stack.
426
21.0k
bool Regexp::ParseState::PushCaret() {
427
21.0k
  if (flags_ & OneLine) {
428
15.6k
    return PushSimpleOp(kRegexpBeginText);
429
15.6k
  }
430
5.44k
  return PushSimpleOp(kRegexpBeginLine);
431
21.0k
}
432
433
// Pushes a \b or \B onto the stack.
434
3.33k
bool Regexp::ParseState::PushWordBoundary(bool word) {
435
3.33k
  if (word)
436
1.85k
    return PushSimpleOp(kRegexpWordBoundary);
437
1.48k
  return PushSimpleOp(kRegexpNoWordBoundary);
438
3.33k
}
439
440
// Pushes a $ onto the stack.
441
13.0k
bool Regexp::ParseState::PushDollar() {
442
13.0k
  if (flags_ & OneLine) {
443
    // Clumsy marker so that MimicsPCRE() can tell whether
444
    // this kRegexpEndText was a $ and not a \z.
445
8.58k
    Regexp::ParseFlags oflags = flags_;
446
8.58k
    flags_ = flags_ | WasDollar;
447
8.58k
    bool ret = PushSimpleOp(kRegexpEndText);
448
8.58k
    flags_ = oflags;
449
8.58k
    return ret;
450
8.58k
  }
451
4.51k
  return PushSimpleOp(kRegexpEndLine);
452
13.0k
}
453
454
// Pushes a . onto the stack.
455
34.5k
bool Regexp::ParseState::PushDot() {
456
34.5k
  if ((flags_ & DotNL) && !(flags_ & NeverNL))
457
21.7k
    return PushSimpleOp(kRegexpAnyChar);
458
  // Rewrite . into [^\n]
459
12.8k
  Regexp* re = new Regexp(kRegexpCharClass, flags_ & ~FoldCase);
460
12.8k
  re->ccb_ = new CharClassBuilder;
461
12.8k
  re->ccb_->AddRange(0, '\n' - 1);
462
12.8k
  re->ccb_->AddRange('\n' + 1, rune_max_);
463
12.8k
  return PushRegexp(re);
464
34.5k
}
465
466
// Pushes a regexp with the given op (and no args) onto the stack.
467
123k
bool Regexp::ParseState::PushSimpleOp(RegexpOp op) {
468
123k
  Regexp* re = new Regexp(op, flags_);
469
123k
  return PushRegexp(re);
470
123k
}
471
472
// Pushes a repeat operator regexp onto the stack.
473
// A valid argument for the operator must already be on the stack.
474
// The char c is the name of the operator, for use in error messages.
475
bool Regexp::ParseState::PushRepeatOp(RegexpOp op, const StringPiece& s,
476
66.9k
                                      bool nongreedy) {
477
66.9k
  if (stacktop_ == NULL || IsMarker(stacktop_->op())) {
478
154
    status_->set_code(kRegexpRepeatArgument);
479
154
    status_->set_error_arg(s);
480
154
    return false;
481
154
  }
482
66.7k
  Regexp::ParseFlags fl = flags_;
483
66.7k
  if (nongreedy)
484
5.17k
    fl = fl ^ NonGreedy;
485
486
  // Squash **, ++ and ??. Regexp::Star() et al. handle this too, but
487
  // they're mostly for use during simplification, not during parsing.
488
66.7k
  if (op == stacktop_->op() && fl == stacktop_->parse_flags())
489
10.0k
    return true;
490
491
  // Squash *+, *?, +*, +?, ?* and ?+. They all squash to *, so because
492
  // op is a repeat, we just have to check that stacktop_->op() is too,
493
  // then adjust stacktop_.
494
56.7k
  if ((stacktop_->op() == kRegexpStar ||
495
56.7k
       stacktop_->op() == kRegexpPlus ||
496
56.7k
       stacktop_->op() == kRegexpQuest) &&
497
56.7k
      fl == stacktop_->parse_flags()) {
498
3.29k
    stacktop_->op_ = kRegexpStar;
499
3.29k
    return true;
500
3.29k
  }
501
502
53.4k
  Regexp* re = new Regexp(op, fl);
503
53.4k
  re->AllocSub(1);
504
53.4k
  re->down_ = stacktop_->down_;
505
53.4k
  re->sub()[0] = FinishRegexp(stacktop_);
506
53.4k
  re->simple_ = re->ComputeSimple();
507
53.4k
  stacktop_ = re;
508
53.4k
  return true;
509
56.7k
}
510
511
// RepetitionWalker reports whether the repetition regexp is valid.
512
// Valid means that the combination of the top-level repetition
513
// and any inner repetitions does not exceed n copies of the
514
// innermost thing.
515
// This rewalks the regexp tree and is called for every repetition,
516
// so we have to worry about inducing quadratic behavior in the parser.
517
// We avoid this by only using RepetitionWalker when min or max >= 2.
518
// In that case the depth of any >= 2 nesting can only get to 9 without
519
// triggering a parse error, so each subtree can only be rewalked 9 times.
520
class RepetitionWalker : public Regexp::Walker<int> {
521
 public:
522
16.7k
  RepetitionWalker() {}
523
  virtual int PreVisit(Regexp* re, int parent_arg, bool* stop);
524
  virtual int PostVisit(Regexp* re, int parent_arg, int pre_arg,
525
                        int* child_args, int nchild_args);
526
  virtual int ShortVisit(Regexp* re, int parent_arg);
527
528
 private:
529
  RepetitionWalker(const RepetitionWalker&) = delete;
530
  RepetitionWalker& operator=(const RepetitionWalker&) = delete;
531
};
532
533
130k
int RepetitionWalker::PreVisit(Regexp* re, int parent_arg, bool* stop) {
534
130k
  int arg = parent_arg;
535
130k
  if (re->op() == kRegexpRepeat) {
536
20.3k
    int m = re->max();
537
20.3k
    if (m < 0) {
538
1.96k
      m = re->min();
539
1.96k
    }
540
20.3k
    if (m > 0) {
541
19.5k
      arg /= m;
542
19.5k
    }
543
20.3k
  }
544
130k
  return arg;
545
130k
}
546
547
int RepetitionWalker::PostVisit(Regexp* re, int parent_arg, int pre_arg,
548
130k
                                int* child_args, int nchild_args) {
549
130k
  int arg = pre_arg;
550
243k
  for (int i = 0; i < nchild_args; i++) {
551
113k
    if (child_args[i] < arg) {
552
4.79k
      arg = child_args[i];
553
4.79k
    }
554
113k
  }
555
130k
  return arg;
556
130k
}
557
558
0
int RepetitionWalker::ShortVisit(Regexp* re, int parent_arg) {
559
  // Should never be called: we use Walk(), not WalkExponential().
560
#ifndef FUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION
561
  LOG(DFATAL) << "RepetitionWalker::ShortVisit called";
562
#endif
563
0
  return 0;
564
0
}
565
566
// Pushes a repetition regexp onto the stack.
567
// A valid argument for the operator must already be on the stack.
568
bool Regexp::ParseState::PushRepetition(int min, int max,
569
                                        const StringPiece& s,
570
21.2k
                                        bool nongreedy) {
571
21.2k
  if ((max != -1 && max < min) ||
572
21.2k
      min > maximum_repeat_count ||
573
21.2k
      max > maximum_repeat_count) {
574
68
    status_->set_code(kRegexpRepeatSize);
575
68
    status_->set_error_arg(s);
576
68
    return false;
577
68
  }
578
21.1k
  if (stacktop_ == NULL || IsMarker(stacktop_->op())) {
579
32
    status_->set_code(kRegexpRepeatArgument);
580
32
    status_->set_error_arg(s);
581
32
    return false;
582
32
  }
583
21.1k
  Regexp::ParseFlags fl = flags_;
584
21.1k
  if (nongreedy)
585
1.86k
    fl = fl ^ NonGreedy;
586
21.1k
  Regexp* re = new Regexp(kRegexpRepeat, fl);
587
21.1k
  re->min_ = min;
588
21.1k
  re->max_ = max;
589
21.1k
  re->AllocSub(1);
590
21.1k
  re->down_ = stacktop_->down_;
591
21.1k
  re->sub()[0] = FinishRegexp(stacktop_);
592
21.1k
  re->simple_ = re->ComputeSimple();
593
21.1k
  stacktop_ = re;
594
21.1k
  if (min >= 2 || max >= 2) {
595
16.7k
    RepetitionWalker w;
596
16.7k
    if (w.Walk(stacktop_, maximum_repeat_count) == 0) {
597
134
      status_->set_code(kRegexpRepeatSize);
598
134
      status_->set_error_arg(s);
599
134
      return false;
600
134
    }
601
16.7k
  }
602
21.0k
  return true;
603
21.1k
}
604
605
// Checks whether a particular regexp op is a marker.
606
2.32M
bool Regexp::ParseState::IsMarker(RegexpOp op) {
607
2.32M
  return op >= kLeftParen;
608
2.32M
}
609
610
// Processes a left parenthesis in the input.
611
// Pushes a marker onto the stack.
612
16.1k
bool Regexp::ParseState::DoLeftParen(const StringPiece& name) {
613
16.1k
  Regexp* re = new Regexp(kLeftParen, flags_);
614
16.1k
  re->cap_ = ++ncap_;
615
16.1k
  if (name.data() != NULL)
616
395
    re->name_ = new std::string(name);
617
16.1k
  return PushRegexp(re);
618
16.1k
}
619
620
// Pushes a non-capturing marker onto the stack.
621
18.0k
bool Regexp::ParseState::DoLeftParenNoCapture() {
622
18.0k
  Regexp* re = new Regexp(kLeftParen, flags_);
623
18.0k
  re->cap_ = -1;
624
18.0k
  return PushRegexp(re);
625
18.0k
}
626
627
// Processes a vertical bar in the input.
628
146k
bool Regexp::ParseState::DoVerticalBar() {
629
146k
  MaybeConcatString(-1, NoParseFlags);
630
146k
  DoConcatenation();
631
632
  // Below the vertical bar is a list to alternate.
633
  // Above the vertical bar is a list to concatenate.
634
  // We just did the concatenation, so either swap
635
  // the result below the vertical bar or push a new
636
  // vertical bar on the stack.
637
146k
  Regexp* r1;
638
146k
  Regexp* r2;
639
146k
  if ((r1 = stacktop_) != NULL &&
640
146k
      (r2 = r1->down_) != NULL &&
641
146k
      r2->op() == kVerticalBar) {
642
84.6k
    Regexp* r3;
643
84.6k
    if ((r3 = r2->down_) != NULL &&
644
84.6k
        (r1->op() == kRegexpAnyChar || r3->op() == kRegexpAnyChar)) {
645
      // AnyChar is above or below the vertical bar. Let it subsume
646
      // the other when the other is Literal, CharClass or AnyChar.
647
4.40k
      if (r3->op() == kRegexpAnyChar &&
648
4.40k
          (r1->op() == kRegexpLiteral ||
649
3.13k
           r1->op() == kRegexpCharClass ||
650
3.13k
           r1->op() == kRegexpAnyChar)) {
651
        // Discard r1.
652
1.85k
        stacktop_ = r2;
653
1.85k
        r1->Decref();
654
1.85k
        return true;
655
1.85k
      }
656
2.55k
      if (r1->op() == kRegexpAnyChar &&
657
2.55k
          (r3->op() == kRegexpLiteral ||
658
1.27k
           r3->op() == kRegexpCharClass ||
659
1.27k
           r3->op() == kRegexpAnyChar)) {
660
        // Rearrange the stack and discard r3.
661
596
        r1->down_ = r3->down_;
662
596
        r2->down_ = r1;
663
596
        stacktop_ = r2;
664
596
        r3->Decref();
665
596
        return true;
666
596
      }
667
2.55k
    }
668
    // Swap r1 below vertical bar (r2).
669
82.2k
    r1->down_ = r2->down_;
670
82.2k
    r2->down_ = r1;
671
82.2k
    stacktop_ = r2;
672
82.2k
    return true;
673
84.6k
  }
674
61.8k
  return PushSimpleOp(kVerticalBar);
675
146k
}
676
677
// Processes a right parenthesis in the input.
678
28.8k
bool Regexp::ParseState::DoRightParen() {
679
  // Finish the current concatenation and alternation.
680
28.8k
  DoAlternation();
681
682
  // The stack should be: LeftParen regexp
683
  // Remove the LeftParen, leaving the regexp,
684
  // parenthesized.
685
28.8k
  Regexp* r1;
686
28.8k
  Regexp* r2;
687
28.8k
  if ((r1 = stacktop_) == NULL ||
688
28.8k
      (r2 = r1->down_) == NULL ||
689
28.8k
      r2->op() != kLeftParen) {
690
1.03k
    status_->set_code(kRegexpUnexpectedParen);
691
1.03k
    status_->set_error_arg(whole_regexp_);
692
1.03k
    return false;
693
1.03k
  }
694
695
  // Pop off r1, r2.  Will Decref or reuse below.
696
27.7k
  stacktop_ = r2->down_;
697
698
  // Restore flags from when paren opened.
699
27.7k
  Regexp* re = r2;
700
27.7k
  flags_ = re->parse_flags();
701
702
  // Rewrite LeftParen as capture if needed.
703
27.7k
  if (re->cap_ > 0) {
704
13.1k
    re->op_ = kRegexpCapture;
705
    // re->cap_ is already set
706
13.1k
    re->AllocSub(1);
707
13.1k
    re->sub()[0] = FinishRegexp(r1);
708
13.1k
    re->simple_ = re->ComputeSimple();
709
14.6k
  } else {
710
14.6k
    re->Decref();
711
14.6k
    re = r1;
712
14.6k
  }
713
27.7k
  return PushRegexp(re);
714
28.8k
}
715
716
// Processes the end of input, returning the final regexp.
717
31.7k
Regexp* Regexp::ParseState::DoFinish() {
718
31.7k
  DoAlternation();
719
31.7k
  Regexp* re = stacktop_;
720
31.7k
  if (re != NULL && re->down_ != NULL) {
721
1.33k
    status_->set_code(kRegexpMissingParen);
722
1.33k
    status_->set_error_arg(whole_regexp_);
723
1.33k
    return NULL;
724
1.33k
  }
725
30.4k
  stacktop_ = NULL;
726
30.4k
  return FinishRegexp(re);
727
31.7k
}
728
729
// Returns the leading regexp that re starts with.
730
// The returned Regexp* points into a piece of re,
731
// so it must not be used after the caller calls re->Decref().
732
130k
Regexp* Regexp::LeadingRegexp(Regexp* re) {
733
130k
  if (re->op() == kRegexpEmptyMatch)
734
34.4k
    return NULL;
735
96.3k
  if (re->op() == kRegexpConcat && re->nsub() >= 2) {
736
53.0k
    Regexp** sub = re->sub();
737
53.0k
    if (sub[0]->op() == kRegexpEmptyMatch)
738
21
      return NULL;
739
53.0k
    return sub[0];
740
53.0k
  }
741
43.2k
  return re;
742
96.3k
}
743
744
// Removes LeadingRegexp(re) from re and returns what's left.
745
// Consumes the reference to re and may edit it in place.
746
// If caller wants to hold on to LeadingRegexp(re),
747
// must have already Incref'ed it.
748
19.1k
Regexp* Regexp::RemoveLeadingRegexp(Regexp* re) {
749
19.1k
  if (re->op() == kRegexpEmptyMatch)
750
0
    return re;
751
19.1k
  if (re->op() == kRegexpConcat && re->nsub() >= 2) {
752
16.7k
    Regexp** sub = re->sub();
753
16.7k
    if (sub[0]->op() == kRegexpEmptyMatch)
754
0
      return re;
755
16.7k
    sub[0]->Decref();
756
16.7k
    sub[0] = NULL;
757
16.7k
    if (re->nsub() == 2) {
758
      // Collapse concatenation to single regexp.
759
3.44k
      Regexp* nre = sub[1];
760
3.44k
      sub[1] = NULL;
761
3.44k
      re->Decref();
762
3.44k
      return nre;
763
3.44k
    }
764
    // 3 or more -> 2 or more.
765
13.3k
    re->nsub_--;
766
13.3k
    memmove(sub, sub + 1, re->nsub_ * sizeof sub[0]);
767
13.3k
    return re;
768
16.7k
  }
769
2.36k
  Regexp::ParseFlags pf = re->parse_flags();
770
2.36k
  re->Decref();
771
2.36k
  return new Regexp(kRegexpEmptyMatch, pf);
772
19.1k
}
773
774
// Returns the leading string that re starts with.
775
// The returned Rune* points into a piece of re,
776
// so it must not be used after the caller calls re->Decref().
777
Rune* Regexp::LeadingString(Regexp* re, int *nrune,
778
143k
                            Regexp::ParseFlags *flags) {
779
199k
  while (re->op() == kRegexpConcat && re->nsub() > 0)
780
55.9k
    re = re->sub()[0];
781
782
143k
  *flags = static_cast<Regexp::ParseFlags>(re->parse_flags_ & Regexp::FoldCase);
783
784
143k
  if (re->op() == kRegexpLiteral) {
785
26.8k
    *nrune = 1;
786
26.8k
    return &re->rune_;
787
26.8k
  }
788
789
116k
  if (re->op() == kRegexpLiteralString) {
790
41.9k
    *nrune = re->nrunes_;
791
41.9k
    return re->runes_;
792
41.9k
  }
793
794
74.1k
  *nrune = 0;
795
74.1k
  return NULL;
796
116k
}
797
798
// Removes the first n leading runes from the beginning of re.
799
// Edits re in place.
800
20.2k
void Regexp::RemoveLeadingString(Regexp* re, int n) {
801
  // Chase down concats to find first string.
802
  // For regexps generated by parser, nested concats are
803
  // flattened except when doing so would overflow the 16-bit
804
  // limit on the size of a concatenation, so we should never
805
  // see more than two here.
806
20.2k
  Regexp* stk[4];
807
20.2k
  size_t d = 0;
808
31.0k
  while (re->op() == kRegexpConcat) {
809
10.8k
    if (d < arraysize(stk))
810
10.8k
      stk[d++] = re;
811
10.8k
    re = re->sub()[0];
812
10.8k
  }
813
814
  // Remove leading string from re.
815
20.2k
  if (re->op() == kRegexpLiteral) {
816
6.99k
    re->rune_ = 0;
817
6.99k
    re->op_ = kRegexpEmptyMatch;
818
13.2k
  } else if (re->op() == kRegexpLiteralString) {
819
13.2k
    if (n >= re->nrunes_) {
820
3.17k
      delete[] re->runes_;
821
3.17k
      re->runes_ = NULL;
822
3.17k
      re->nrunes_ = 0;
823
3.17k
      re->op_ = kRegexpEmptyMatch;
824
10.0k
    } else if (n == re->nrunes_ - 1) {
825
3.87k
      Rune rune = re->runes_[re->nrunes_ - 1];
826
3.87k
      delete[] re->runes_;
827
3.87k
      re->runes_ = NULL;
828
3.87k
      re->nrunes_ = 0;
829
3.87k
      re->rune_ = rune;
830
3.87k
      re->op_ = kRegexpLiteral;
831
6.17k
    } else {
832
6.17k
      re->nrunes_ -= n;
833
6.17k
      memmove(re->runes_, re->runes_ + n, re->nrunes_ * sizeof re->runes_[0]);
834
6.17k
    }
835
13.2k
  }
836
837
  // If re is now empty, concatenations might simplify too.
838
31.0k
  while (d > 0) {
839
10.8k
    re = stk[--d];
840
10.8k
    Regexp** sub = re->sub();
841
10.8k
    if (sub[0]->op() == kRegexpEmptyMatch) {
842
7.12k
      sub[0]->Decref();
843
7.12k
      sub[0] = NULL;
844
      // Delete first element of concat.
845
7.12k
      switch (re->nsub()) {
846
0
        case 0:
847
0
        case 1:
848
          // Impossible.
849
0
          LOG(DFATAL) << "Concat of " << re->nsub();
850
0
          re->submany_ = NULL;
851
0
          re->op_ = kRegexpEmptyMatch;
852
0
          break;
853
854
1.35k
        case 2: {
855
          // Replace re with sub[1].
856
1.35k
          Regexp* old = sub[1];
857
1.35k
          sub[1] = NULL;
858
1.35k
          re->Swap(old);
859
1.35k
          old->Decref();
860
1.35k
          break;
861
0
        }
862
863
5.77k
        default:
864
          // Slide down.
865
5.77k
          re->nsub_--;
866
5.77k
          memmove(sub, sub + 1, re->nsub_ * sizeof sub[0]);
867
5.77k
          break;
868
7.12k
      }
869
7.12k
    }
870
10.8k
  }
871
20.2k
}
872
873
// In the context of factoring alternations, a Splice is: a factored prefix or
874
// merged character class computed by one iteration of one round of factoring;
875
// the span of subexpressions of the alternation to be "spliced" (i.e. removed
876
// and replaced); and, for a factored prefix, the number of suffixes after any
877
// factoring that might have subsequently been performed on them. For a merged
878
// character class, there are no suffixes, of course, so the field is ignored.
879
struct Splice {
880
  Splice(Regexp* prefix, Regexp** sub, int nsub)
881
      : prefix(prefix),
882
        sub(sub),
883
        nsub(nsub),
884
19.8k
        nsuffix(-1) {}
885
886
  Regexp* prefix;
887
  Regexp** sub;
888
  int nsub;
889
  int nsuffix;
890
};
891
892
// Named so because it is used to implement an explicit stack, a Frame is: the
893
// span of subexpressions of the alternation to be factored; the current round
894
// of factoring; any Splices computed; and, for a factored prefix, an iterator
895
// to the next Splice to be factored (i.e. in another Frame) because suffixes.
896
struct Frame {
897
  Frame(Regexp** sub, int nsub)
898
      : sub(sub),
899
        nsub(nsub),
900
34.7k
        round(0) {}
901
902
  Regexp** sub;
903
  int nsub;
904
  int round;
905
  std::vector<Splice> splices;
906
  int spliceidx;
907
};
908
909
// Bundled into a class for friend access to Regexp without needing to declare
910
// (or define) Splice in regexp.h.
911
class FactorAlternationImpl {
912
 public:
913
  static void Round1(Regexp** sub, int nsub,
914
                     Regexp::ParseFlags flags,
915
                     std::vector<Splice>* splices);
916
  static void Round2(Regexp** sub, int nsub,
917
                     Regexp::ParseFlags flags,
918
                     std::vector<Splice>* splices);
919
  static void Round3(Regexp** sub, int nsub,
920
                     Regexp::ParseFlags flags,
921
                     std::vector<Splice>* splices);
922
};
923
924
// Factors common prefixes from alternation.
925
// For example,
926
//     ABC|ABD|AEF|BCX|BCY
927
// simplifies to
928
//     A(B(C|D)|EF)|BC(X|Y)
929
// and thence to
930
//     A(B[CD]|EF)|BC[XY]
931
//
932
// Rewrites sub to contain simplified list to alternate and returns
933
// the new length of sub.  Adjusts reference counts accordingly
934
// (incoming sub[i] decremented, outgoing sub[i] incremented).
935
19.0k
int Regexp::FactorAlternation(Regexp** sub, int nsub, ParseFlags flags) {
936
19.0k
  std::vector<Frame> stk;
937
19.0k
  stk.emplace_back(sub, nsub);
938
939
154k
  for (;;) {
940
154k
    auto& sub = stk.back().sub;
941
154k
    auto& nsub = stk.back().nsub;
942
154k
    auto& round = stk.back().round;
943
154k
    auto& splices = stk.back().splices;
944
154k
    auto& spliceidx = stk.back().spliceidx;
945
946
154k
    if (splices.empty()) {
947
      // Advance to the next round of factoring. Note that this covers
948
      // the initialised state: when splices is empty and round is 0.
949
122k
      round++;
950
122k
    } else if (spliceidx < static_cast<int>(splices.size())) {
951
      // We have at least one more Splice to factor. Recurse logically.
952
15.7k
      stk.emplace_back(splices[spliceidx].sub, splices[spliceidx].nsub);
953
15.7k
      continue;
954
16.7k
    } else {
955
      // We have no more Splices to factor. Apply them.
956
16.7k
      auto iter = splices.begin();
957
16.7k
      int out = 0;
958
36.5k
      for (int i = 0; i < nsub; ) {
959
        // Copy until we reach where the next Splice begins.
960
44.2k
        while (sub + i < iter->sub)
961
24.3k
          sub[out++] = sub[i++];
962
19.8k
        switch (round) {
963
7.96k
          case 1:
964
15.7k
          case 2: {
965
            // Assemble the Splice prefix and the suffixes.
966
15.7k
            Regexp* re[2];
967
15.7k
            re[0] = iter->prefix;
968
15.7k
            re[1] = Regexp::AlternateNoFactor(iter->sub, iter->nsuffix, flags);
969
15.7k
            sub[out++] = Regexp::Concat(re, 2, flags);
970
15.7k
            i += iter->nsub;
971
15.7k
            break;
972
7.96k
          }
973
4.14k
          case 3:
974
            // Just use the Splice prefix.
975
4.14k
            sub[out++] = iter->prefix;
976
4.14k
            i += iter->nsub;
977
4.14k
            break;
978
0
          default:
979
0
            LOG(DFATAL) << "unknown round: " << round;
980
0
            break;
981
19.8k
        }
982
        // If we are done, copy until the end of sub.
983
19.8k
        if (++iter == splices.end()) {
984
32.7k
          while (i < nsub)
985
16.0k
            sub[out++] = sub[i++];
986
16.7k
        }
987
19.8k
      }
988
16.7k
      splices.clear();
989
16.7k
      nsub = out;
990
      // Advance to the next round of factoring.
991
16.7k
      round++;
992
16.7k
    }
993
994
138k
    switch (round) {
995
34.7k
      case 1:
996
34.7k
        FactorAlternationImpl::Round1(sub, nsub, flags, &splices);
997
34.7k
        break;
998
34.7k
      case 2:
999
34.7k
        FactorAlternationImpl::Round2(sub, nsub, flags, &splices);
1000
34.7k
        break;
1001
34.7k
      case 3:
1002
34.7k
        FactorAlternationImpl::Round3(sub, nsub, flags, &splices);
1003
34.7k
        break;
1004
34.7k
      case 4:
1005
34.7k
        if (stk.size() == 1) {
1006
          // We are at the top of the stack. Just return.
1007
19.0k
          return nsub;
1008
19.0k
        } else {
1009
          // Pop the stack and set the number of suffixes.
1010
          // (Note that references will be invalidated!)
1011
15.7k
          int nsuffix = nsub;
1012
15.7k
          stk.pop_back();
1013
15.7k
          stk.back().splices[stk.back().spliceidx].nsuffix = nsuffix;
1014
15.7k
          ++stk.back().spliceidx;
1015
15.7k
          continue;
1016
15.7k
        }
1017
0
      default:
1018
0
        LOG(DFATAL) << "unknown round: " << round;
1019
0
        break;
1020
138k
    }
1021
1022
    // Set spliceidx depending on whether we have Splices to factor.
1023
104k
    if (splices.empty() || round == 3) {
1024
90.2k
      spliceidx = static_cast<int>(splices.size());
1025
90.2k
    } else {
1026
13.9k
      spliceidx = 0;
1027
13.9k
    }
1028
104k
  }
1029
19.0k
}
1030
1031
void FactorAlternationImpl::Round1(Regexp** sub, int nsub,
1032
                                   Regexp::ParseFlags flags,
1033
34.7k
                                   std::vector<Splice>* splices) {
1034
  // Round 1: Factor out common literal prefixes.
1035
34.7k
  int start = 0;
1036
34.7k
  Rune* rune = NULL;
1037
34.7k
  int nrune = 0;
1038
34.7k
  Regexp::ParseFlags runeflags = Regexp::NoParseFlags;
1039
212k
  for (int i = 0; i <= nsub; i++) {
1040
    // Invariant: sub[start:i] consists of regexps that all
1041
    // begin with rune[0:nrune].
1042
177k
    Rune* rune_i = NULL;
1043
177k
    int nrune_i = 0;
1044
177k
    Regexp::ParseFlags runeflags_i = Regexp::NoParseFlags;
1045
177k
    if (i < nsub) {
1046
143k
      rune_i = Regexp::LeadingString(sub[i], &nrune_i, &runeflags_i);
1047
143k
      if (runeflags_i == runeflags) {
1048
112k
        int same = 0;
1049
132k
        while (same < nrune && same < nrune_i && rune[same] == rune_i[same])
1050
19.5k
          same++;
1051
112k
        if (same > 0) {
1052
          // Matches at least one rune in current range.  Keep going around.
1053
12.2k
          nrune = same;
1054
12.2k
          continue;
1055
12.2k
        }
1056
112k
      }
1057
143k
    }
1058
1059
    // Found end of a run with common leading literal string:
1060
    // sub[start:i] all begin with rune[0:nrune],
1061
    // but sub[i] does not even begin with rune[0].
1062
165k
    if (i == start) {
1063
      // Nothing to do - first iteration.
1064
130k
    } else if (i == start+1) {
1065
      // Just one: don't bother factoring.
1066
122k
    } else {
1067
7.96k
      Regexp* prefix = Regexp::LiteralString(rune, nrune, runeflags);
1068
28.1k
      for (int j = start; j < i; j++)
1069
20.2k
        Regexp::RemoveLeadingString(sub[j], nrune);
1070
7.96k
      splices->emplace_back(prefix, sub + start, i - start);
1071
7.96k
    }
1072
1073
    // Prepare for next iteration (if there is one).
1074
165k
    if (i < nsub) {
1075
130k
      start = i;
1076
130k
      rune = rune_i;
1077
130k
      nrune = nrune_i;
1078
130k
      runeflags = runeflags_i;
1079
130k
    }
1080
165k
  }
1081
34.7k
}
1082
1083
void FactorAlternationImpl::Round2(Regexp** sub, int nsub,
1084
                                   Regexp::ParseFlags flags,
1085
34.7k
                                   std::vector<Splice>* splices) {
1086
  // Round 2: Factor out common simple prefixes,
1087
  // just the first piece of each concatenation.
1088
  // This will be good enough a lot of the time.
1089
  //
1090
  // Complex subexpressions (e.g. involving quantifiers)
1091
  // are not safe to factor because that collapses their
1092
  // distinct paths through the automaton, which affects
1093
  // correctness in some cases.
1094
34.7k
  int start = 0;
1095
34.7k
  Regexp* first = NULL;
1096
200k
  for (int i = 0; i <= nsub; i++) {
1097
    // Invariant: sub[start:i] consists of regexps that all
1098
    // begin with first.
1099
165k
    Regexp* first_i = NULL;
1100
165k
    if (i < nsub) {
1101
130k
      first_i = Regexp::LeadingRegexp(sub[i]);
1102
130k
      if (first != NULL &&
1103
          // first must be an empty-width op
1104
          // OR a char class, any char or any byte
1105
          // OR a fixed repeat of a literal, char class, any char or any byte.
1106
130k
          (first->op() == kRegexpBeginLine ||
1107
65.0k
           first->op() == kRegexpEndLine ||
1108
65.0k
           first->op() == kRegexpWordBoundary ||
1109
65.0k
           first->op() == kRegexpNoWordBoundary ||
1110
65.0k
           first->op() == kRegexpBeginText ||
1111
65.0k
           first->op() == kRegexpEndText ||
1112
65.0k
           first->op() == kRegexpCharClass ||
1113
65.0k
           first->op() == kRegexpAnyChar ||
1114
65.0k
           first->op() == kRegexpAnyByte ||
1115
65.0k
           (first->op() == kRegexpRepeat &&
1116
43.2k
            first->min() == first->max() &&
1117
43.2k
            (first->sub()[0]->op() == kRegexpLiteral ||
1118
1.91k
             first->sub()[0]->op() == kRegexpCharClass ||
1119
1.91k
             first->sub()[0]->op() == kRegexpAnyChar ||
1120
1.91k
             first->sub()[0]->op() == kRegexpAnyByte))) &&
1121
130k
          Regexp::Equal(first, first_i))
1122
11.3k
        continue;
1123
130k
    }
1124
1125
    // Found end of a run with common leading regexp:
1126
    // sub[start:i] all begin with first,
1127
    // but sub[i] does not.
1128
154k
    if (i == start) {
1129
      // Nothing to do - first iteration.
1130
119k
    } else if (i == start+1) {
1131
      // Just one: don't bother factoring.
1132
111k
    } else {
1133
7.76k
      Regexp* prefix = first->Incref();
1134
26.9k
      for (int j = start; j < i; j++)
1135
19.1k
        sub[j] = Regexp::RemoveLeadingRegexp(sub[j]);
1136
7.76k
      splices->emplace_back(prefix, sub + start, i - start);
1137
7.76k
    }
1138
1139
    // Prepare for next iteration (if there is one).
1140
154k
    if (i < nsub) {
1141
119k
      start = i;
1142
119k
      first = first_i;
1143
119k
    }
1144
154k
  }
1145
34.7k
}
1146
1147
void FactorAlternationImpl::Round3(Regexp** sub, int nsub,
1148
                                   Regexp::ParseFlags flags,
1149
34.7k
                                   std::vector<Splice>* splices) {
1150
  // Round 3: Merge runs of literals and/or character classes.
1151
34.7k
  int start = 0;
1152
34.7k
  Regexp* first = NULL;
1153
188k
  for (int i = 0; i <= nsub; i++) {
1154
    // Invariant: sub[start:i] consists of regexps that all
1155
    // are either literals (i.e. runes) or character classes.
1156
154k
    Regexp* first_i = NULL;
1157
154k
    if (i < nsub) {
1158
119k
      first_i = sub[i];
1159
119k
      if (first != NULL &&
1160
119k
          (first->op() == kRegexpLiteral ||
1161
84.6k
           first->op() == kRegexpCharClass) &&
1162
119k
          (first_i->op() == kRegexpLiteral ||
1163
15.2k
           first_i->op() == kRegexpCharClass))
1164
6.27k
        continue;
1165
119k
    }
1166
1167
    // Found end of a run of Literal/CharClass:
1168
    // sub[start:i] all are either one or the other,
1169
    // but sub[i] is not.
1170
147k
    if (i == start) {
1171
      // Nothing to do - first iteration.
1172
113k
    } else if (i == start+1) {
1173
      // Just one: don't bother factoring.
1174
108k
    } else {
1175
4.14k
      CharClassBuilder ccb;
1176
14.5k
      for (int j = start; j < i; j++) {
1177
10.4k
        Regexp* re = sub[j];
1178
10.4k
        if (re->op() == kRegexpCharClass) {
1179
2.61k
          CharClass* cc = re->cc();
1180
13.4k
          for (CharClass::iterator it = cc->begin(); it != cc->end(); ++it)
1181
10.8k
            ccb.AddRange(it->lo, it->hi);
1182
7.80k
        } else if (re->op() == kRegexpLiteral) {
1183
7.80k
          ccb.AddRangeFlags(re->rune(), re->rune(), re->parse_flags());
1184
7.80k
        } else {
1185
0
          LOG(DFATAL) << "RE2: unexpected op: " << re->op() << " "
1186
0
                      << re->ToString();
1187
0
        }
1188
10.4k
        re->Decref();
1189
10.4k
      }
1190
4.14k
      Regexp* re = Regexp::NewCharClass(ccb.GetCharClass(), flags);
1191
4.14k
      splices->emplace_back(re, sub + start, i - start);
1192
4.14k
    }
1193
1194
    // Prepare for next iteration (if there is one).
1195
147k
    if (i < nsub) {
1196
113k
      start = i;
1197
113k
      first = first_i;
1198
113k
    }
1199
147k
  }
1200
34.7k
}
1201
1202
// Collapse the regexps on top of the stack, down to the
1203
// first marker, into a new op node (op == kRegexpAlternate
1204
// or op == kRegexpConcat).
1205
207k
void Regexp::ParseState::DoCollapse(RegexpOp op) {
1206
  // Scan backward to marker, counting children of composite.
1207
207k
  int n = 0;
1208
207k
  Regexp* next = NULL;
1209
207k
  Regexp* sub;
1210
808k
  for (sub = stacktop_; sub != NULL && !IsMarker(sub->op()); sub = next) {
1211
601k
    next = sub->down_;
1212
601k
    if (sub->op_ == op)
1213
2.59k
      n += sub->nsub_;
1214
598k
    else
1215
598k
      n++;
1216
601k
  }
1217
1218
  // If there's just one child, leave it alone.
1219
  // (Concat of one thing is that one thing; alternate of one thing is same.)
1220
207k
  if (stacktop_ != NULL && stacktop_->down_ == next)
1221
127k
    return;
1222
1223
  // Construct op (alternation or concatenation), flattening op of op.
1224
79.2k
  PODArray<Regexp*> subs(n);
1225
79.2k
  next = NULL;
1226
79.2k
  int i = n;
1227
552k
  for (sub = stacktop_; sub != NULL && !IsMarker(sub->op()); sub = next) {
1228
473k
    next = sub->down_;
1229
473k
    if (sub->op_ == op) {
1230
2.09k
      Regexp** sub_subs = sub->sub();
1231
15.3k
      for (int k = sub->nsub_ - 1; k >= 0; k--)
1232
13.2k
        subs[--i] = sub_subs[k]->Incref();
1233
2.09k
      sub->Decref();
1234
471k
    } else {
1235
471k
      subs[--i] = FinishRegexp(sub);
1236
471k
    }
1237
473k
  }
1238
1239
79.2k
  Regexp* re = ConcatOrAlternate(op, subs.data(), n, flags_, true);
1240
79.2k
  re->simple_ = re->ComputeSimple();
1241
79.2k
  re->down_ = next;
1242
79.2k
  stacktop_ = re;
1243
79.2k
}
1244
1245
// Finishes the current concatenation,
1246
// collapsing it into a single regexp on the stack.
1247
146k
void Regexp::ParseState::DoConcatenation() {
1248
146k
  Regexp* r1 = stacktop_;
1249
146k
  if (r1 == NULL || IsMarker(r1->op())) {
1250
    // empty concatenation is special case
1251
28.7k
    Regexp* re = new Regexp(kRegexpEmptyMatch, flags_);
1252
28.7k
    PushRegexp(re);
1253
28.7k
  }
1254
146k
  DoCollapse(kRegexpConcat);
1255
146k
}
1256
1257
// Finishes the current alternation,
1258
// collapsing it to a single regexp on the stack.
1259
60.5k
void Regexp::ParseState::DoAlternation() {
1260
60.5k
  DoVerticalBar();
1261
  // Now stack top is kVerticalBar.
1262
60.5k
  Regexp* r1 = stacktop_;
1263
60.5k
  stacktop_ = r1->down_;
1264
60.5k
  r1->Decref();
1265
60.5k
  DoCollapse(kRegexpAlternate);
1266
60.5k
}
1267
1268
// Incremental conversion of concatenated literals into strings.
1269
// If top two elements on stack are both literal or string,
1270
// collapse into single string.
1271
// Don't walk down the stack -- the parser calls this frequently
1272
// enough that below the bottom two is known to be collapsed.
1273
// Only called when another regexp is about to be pushed
1274
// on the stack, so that the topmost literal is not being considered.
1275
// (Otherwise ab* would turn into (ab)*.)
1276
// If r >= 0, consider pushing a literal r on the stack.
1277
// Return whether that happened.
1278
1.57M
bool Regexp::ParseState::MaybeConcatString(int r, ParseFlags flags) {
1279
1.57M
  Regexp* re1;
1280
1.57M
  Regexp* re2;
1281
1.57M
  if ((re1 = stacktop_) == NULL || (re2 = re1->down_) == NULL)
1282
163k
    return false;
1283
1284
1.41M
  if (re1->op_ != kRegexpLiteral && re1->op_ != kRegexpLiteralString)
1285
539k
    return false;
1286
871k
  if (re2->op_ != kRegexpLiteral && re2->op_ != kRegexpLiteralString)
1287
281k
    return false;
1288
589k
  if ((re1->parse_flags_ & FoldCase) != (re2->parse_flags_ & FoldCase))
1289
544
    return false;
1290
1291
588k
  if (re2->op_ == kRegexpLiteral) {
1292
    // convert into string
1293
131k
    Rune rune = re2->rune_;
1294
131k
    re2->op_ = kRegexpLiteralString;
1295
131k
    re2->nrunes_ = 0;
1296
131k
    re2->runes_ = NULL;
1297
131k
    re2->AddRuneToString(rune);
1298
131k
  }
1299
1300
  // push re1 into re2.
1301
588k
  if (re1->op_ == kRegexpLiteral) {
1302
587k
    re2->AddRuneToString(re1->rune_);
1303
587k
  } else {
1304
11.8k
    for (int i = 0; i < re1->nrunes_; i++)
1305
10.7k
      re2->AddRuneToString(re1->runes_[i]);
1306
1.16k
    re1->nrunes_ = 0;
1307
1.16k
    delete[] re1->runes_;
1308
1.16k
    re1->runes_ = NULL;
1309
1.16k
  }
1310
1311
  // reuse re1 if possible
1312
588k
  if (r >= 0) {
1313
353k
    re1->op_ = kRegexpLiteral;
1314
353k
    re1->rune_ = r;
1315
353k
    re1->parse_flags_ = static_cast<uint16_t>(flags);
1316
353k
    return true;
1317
353k
  }
1318
1319
235k
  stacktop_ = re2;
1320
235k
  re1->Decref();
1321
235k
  return false;
1322
588k
}
1323
1324
// Lexing routines.
1325
1326
// Parses a decimal integer, storing it in *np.
1327
// Sets *s to span the remainder of the string.
1328
49.1k
static bool ParseInteger(StringPiece* s, int* np) {
1329
49.1k
  if (s->empty() || !isdigit((*s)[0] & 0xFF))
1330
11.8k
    return false;
1331
  // Disallow leading zeros.
1332
37.2k
  if (s->size() >= 2 && (*s)[0] == '0' && isdigit((*s)[1] & 0xFF))
1333
325
    return false;
1334
36.9k
  int n = 0;
1335
36.9k
  int c;
1336
99.4k
  while (!s->empty() && isdigit(c = (*s)[0] & 0xFF)) {
1337
    // Avoid overflow.
1338
62.7k
    if (n >= 100000000)
1339
227
      return false;
1340
62.4k
    n = n*10 + c - '0';
1341
62.4k
    s->remove_prefix(1);  // digit
1342
62.4k
  }
1343
36.7k
  *np = n;
1344
36.7k
  return true;
1345
36.9k
}
1346
1347
// Parses a repetition suffix like {1,2} or {2} or {2,}.
1348
// Sets *s to span the remainder of the string on success.
1349
// Sets *lo and *hi to the given range.
1350
// In the case of {2,}, the high number is unbounded;
1351
// sets *hi to -1 to signify this.
1352
// {,2} is NOT a valid suffix.
1353
// The Maybe in the name signifies that the regexp parse
1354
// doesn't fail even if ParseRepetition does, so the StringPiece
1355
// s must NOT be edited unless MaybeParseRepetition returns true.
1356
39.0k
static bool MaybeParseRepetition(StringPiece* sp, int* lo, int* hi) {
1357
39.0k
  StringPiece s = *sp;
1358
39.0k
  if (s.empty() || s[0] != '{')
1359
0
    return false;
1360
39.0k
  s.remove_prefix(1);  // '{'
1361
39.0k
  if (!ParseInteger(&s, lo))
1362
11.0k
    return false;
1363
27.9k
  if (s.empty())
1364
32
    return false;
1365
27.9k
  if (s[0] == ',') {
1366
12.5k
    s.remove_prefix(1);  // ','
1367
12.5k
    if (s.empty())
1368
26
      return false;
1369
12.5k
    if (s[0] == '}') {
1370
      // {2,} means at least 2
1371
2.44k
      *hi = -1;
1372
10.1k
    } else {
1373
      // {2,4} means 2, 3, or 4.
1374
10.1k
      if (!ParseInteger(&s, hi))
1375
1.37k
        return false;
1376
10.1k
    }
1377
15.3k
  } else {
1378
    // {2} means exactly two
1379
15.3k
    *hi = *lo;
1380
15.3k
  }
1381
26.5k
  if (s.empty() || s[0] != '}')
1382
5.26k
    return false;
1383
21.2k
  s.remove_prefix(1);  // '}'
1384
21.2k
  *sp = s;
1385
21.2k
  return true;
1386
26.5k
}
1387
1388
// Removes the next Rune from the StringPiece and stores it in *r.
1389
// Returns number of bytes removed from sp.
1390
// Behaves as though there is a terminating NUL at the end of sp.
1391
// Argument order is backwards from usual Google style
1392
// but consistent with chartorune.
1393
1.11M
static int StringPieceToRune(Rune *r, StringPiece *sp, RegexpStatus* status) {
1394
  // fullrune() takes int, not size_t. However, it just looks
1395
  // at the leading byte and treats any length >= 4 the same.
1396
1.11M
  if (fullrune(sp->data(), static_cast<int>(std::min(size_t{4}, sp->size())))) {
1397
1.11M
    int n = chartorune(r, sp->data());
1398
    // Some copies of chartorune have a bug that accepts
1399
    // encodings of values in (10FFFF, 1FFFFF] as valid.
1400
    // Those values break the character class algorithm,
1401
    // which assumes Runemax is the largest rune.
1402
1.11M
    if (*r > Runemax) {
1403
130
      n = 1;
1404
130
      *r = Runeerror;
1405
130
    }
1406
1.11M
    if (!(n == 1 && *r == Runeerror)) {  // no decoding error
1407
1.11M
      sp->remove_prefix(n);
1408
1.11M
      return n;
1409
1.11M
    }
1410
1.11M
  }
1411
1412
2.46k
  if (status != NULL) {
1413
2.46k
    status->set_code(kRegexpBadUTF8);
1414
2.46k
    status->set_error_arg(StringPiece());
1415
2.46k
  }
1416
2.46k
  return -1;
1417
1.11M
}
1418
1419
// Returns whether name is valid UTF-8.
1420
// If not, sets status to kRegexpBadUTF8.
1421
2.95k
static bool IsValidUTF8(const StringPiece& s, RegexpStatus* status) {
1422
2.95k
  StringPiece t = s;
1423
2.95k
  Rune r;
1424
20.8k
  while (!t.empty()) {
1425
18.0k
    if (StringPieceToRune(&r, &t, status) < 0)
1426
105
      return false;
1427
18.0k
  }
1428
2.85k
  return true;
1429
2.95k
}
1430
1431
// Is c a hex digit?
1432
2.76k
static int IsHex(int c) {
1433
2.76k
  return ('0' <= c && c <= '9') ||
1434
2.76k
         ('A' <= c && c <= 'F') ||
1435
2.76k
         ('a' <= c && c <= 'f');
1436
2.76k
}
1437
1438
// Convert hex digit to value.
1439
2.35k
static int UnHex(int c) {
1440
2.35k
  if ('0' <= c && c <= '9')
1441
1.96k
    return c - '0';
1442
384
  if ('A' <= c && c <= 'F')
1443
38
    return c - 'A' + 10;
1444
346
  if ('a' <= c && c <= 'f')
1445
346
    return c - 'a' + 10;
1446
0
  LOG(DFATAL) << "Bad hex digit " << c;
1447
0
  return 0;
1448
346
}
1449
1450
// Parse an escape sequence (e.g., \n, \{).
1451
// Sets *s to span the remainder of the string.
1452
// Sets *rp to the named character.
1453
static bool ParseEscape(StringPiece* s, Rune* rp,
1454
23.7k
                        RegexpStatus* status, int rune_max) {
1455
23.7k
  const char* begin = s->data();
1456
23.7k
  if (s->empty() || (*s)[0] != '\\') {
1457
    // Should not happen - caller always checks.
1458
0
    status->set_code(kRegexpInternalError);
1459
0
    status->set_error_arg(StringPiece());
1460
0
    return false;
1461
0
  }
1462
23.7k
  if (s->size() == 1) {
1463
73
    status->set_code(kRegexpTrailingBackslash);
1464
73
    status->set_error_arg(StringPiece());
1465
73
    return false;
1466
73
  }
1467
23.6k
  Rune c, c1;
1468
23.6k
  s->remove_prefix(1);  // backslash
1469
23.6k
  if (StringPieceToRune(&c, s, status) < 0)
1470
84
    return false;
1471
23.5k
  int code;
1472
23.5k
  switch (c) {
1473
13.4k
    default:
1474
13.4k
      if (c < Runeself && !isalpha(c) && !isdigit(c)) {
1475
        // Escaped non-word characters are always themselves.
1476
        // PCRE is not quite so rigorous: it accepts things like
1477
        // \q, but we don't.  We once rejected \_, but too many
1478
        // programs and people insist on using it, so allow \_.
1479
12.3k
        *rp = c;
1480
12.3k
        return true;
1481
12.3k
      }
1482
1.08k
      goto BadEscape;
1483
1484
    // Octal escapes.
1485
2.10k
    case '1':
1486
2.37k
    case '2':
1487
2.44k
    case '3':
1488
2.61k
    case '4':
1489
2.84k
    case '5':
1490
3.08k
    case '6':
1491
3.30k
    case '7':
1492
      // Single non-zero octal digit is a backreference; not supported.
1493
3.30k
      if (s->empty() || (*s)[0] < '0' || (*s)[0] > '7')
1494
514
        goto BadEscape;
1495
3.30k
      FALLTHROUGH_INTENDED;
1496
3.80k
    case '0':
1497
      // consume up to three octal digits; already have one.
1498
3.80k
      code = c - '0';
1499
3.80k
      if (!s->empty() && '0' <= (c = (*s)[0]) && c <= '7') {
1500
3.16k
        code = code * 8 + c - '0';
1501
3.16k
        s->remove_prefix(1);  // digit
1502
3.16k
        if (!s->empty()) {
1503
3.04k
          c = (*s)[0];
1504
3.04k
          if ('0' <= c && c <= '7') {
1505
1.05k
            code = code * 8 + c - '0';
1506
1.05k
            s->remove_prefix(1);  // digit
1507
1.05k
          }
1508
3.04k
        }
1509
3.16k
      }
1510
3.80k
      if (code > rune_max)
1511
29
        goto BadEscape;
1512
3.77k
      *rp = code;
1513
3.77k
      return true;
1514
1515
    // Hexadecimal escapes
1516
939
    case 'x':
1517
939
      if (s->empty())
1518
11
        goto BadEscape;
1519
928
      if (StringPieceToRune(&c, s, status) < 0)
1520
25
        return false;
1521
903
      if (c == '{') {
1522
        // Any number of digits in braces.
1523
        // Update n as we consume the string, so that
1524
        // the whole thing gets shown in the error message.
1525
        // Perl accepts any text at all; it ignores all text
1526
        // after the first non-hex digit.  We require only hex digits,
1527
        // and at least one.
1528
390
        if (StringPieceToRune(&c, s, status) < 0)
1529
12
          return false;
1530
378
        int nhex = 0;
1531
378
        code = 0;
1532
1.84k
        while (IsHex(c)) {
1533
1.52k
          nhex++;
1534
1.52k
          code = code * 16 + UnHex(c);
1535
1.52k
          if (code > rune_max)
1536
36
            goto BadEscape;
1537
1.49k
          if (s->empty())
1538
14
            goto BadEscape;
1539
1.47k
          if (StringPieceToRune(&c, s, status) < 0)
1540
11
            return false;
1541
1.47k
        }
1542
317
        if (c != '}' || nhex == 0)
1543
94
          goto BadEscape;
1544
223
        *rp = code;
1545
223
        return true;
1546
317
      }
1547
      // Easy case: two hex digits.
1548
513
      if (s->empty())
1549
13
        goto BadEscape;
1550
500
      if (StringPieceToRune(&c1, s, status) < 0)
1551
24
        return false;
1552
476
      if (!IsHex(c) || !IsHex(c1))
1553
64
        goto BadEscape;
1554
412
      *rp = UnHex(c) * 16 + UnHex(c1);
1555
412
      return true;
1556
1557
    // C escapes.
1558
1.25k
    case 'n':
1559
1.25k
      *rp = '\n';
1560
1.25k
      return true;
1561
691
    case 'r':
1562
691
      *rp = '\r';
1563
691
      return true;
1564
546
    case 't':
1565
546
      *rp = '\t';
1566
546
      return true;
1567
1568
    // Less common C escapes.
1569
1.24k
    case 'a':
1570
1.24k
      *rp = '\a';
1571
1.24k
      return true;
1572
671
    case 'f':
1573
671
      *rp = '\f';
1574
671
      return true;
1575
451
    case 'v':
1576
451
      *rp = '\v';
1577
451
      return true;
1578
1579
    // This code is disabled to avoid misparsing
1580
    // the Perl word-boundary \b as a backspace
1581
    // when in POSIX regexp mode.  Surprisingly,
1582
    // in Perl, \b means word-boundary but [\b]
1583
    // means backspace.  We don't support that:
1584
    // if you want a backspace embed a literal
1585
    // backspace character or use \x08.
1586
    //
1587
    // case 'b':
1588
    //   *rp = '\b';
1589
    //   return true;
1590
23.5k
  }
1591
1592
1.85k
BadEscape:
1593
  // Unrecognized escape sequence.
1594
1.85k
  status->set_code(kRegexpBadEscape);
1595
1.85k
  status->set_error_arg(
1596
1.85k
      StringPiece(begin, static_cast<size_t>(s->data() - begin)));
1597
1.85k
  return false;
1598
23.5k
}
1599
1600
// Add a range to the character class, but exclude newline if asked.
1601
// Also handle case folding.
1602
void CharClassBuilder::AddRangeFlags(
1603
2.62M
    Rune lo, Rune hi, Regexp::ParseFlags parse_flags) {
1604
1605
  // Take out \n if the flags say so.
1606
2.62M
  bool cutnl = !(parse_flags & Regexp::ClassNL) ||
1607
2.62M
               (parse_flags & Regexp::NeverNL);
1608
2.62M
  if (cutnl && lo <= '\n' && '\n' <= hi) {
1609
3.48k
    if (lo < '\n')
1610
2.25k
      AddRangeFlags(lo, '\n' - 1, parse_flags);
1611
3.48k
    if (hi > '\n')
1612
1.78k
      AddRangeFlags('\n' + 1, hi, parse_flags);
1613
3.48k
    return;
1614
3.48k
  }
1615
1616
  // If folding case, add fold-equivalent characters too.
1617
2.61M
  if (parse_flags & Regexp::FoldCase)
1618
1.75M
    AddFoldedRange(this, lo, hi, 0);
1619
860k
  else
1620
860k
    AddRange(lo, hi);
1621
2.61M
}
1622
1623
// Look for a group with the given name.
1624
static const UGroup* LookupGroup(const StringPiece& name,
1625
37.7k
                                 const UGroup *groups, int ngroups) {
1626
  // Simple name lookup.
1627
1.20M
  for (int i = 0; i < ngroups; i++)
1628
1.18M
    if (StringPiece(groups[i].name) == name)
1629
19.0k
      return &groups[i];
1630
18.6k
  return NULL;
1631
37.7k
}
1632
1633
// Look for a POSIX group with the given name (e.g., "[:^alpha:]")
1634
46
static const UGroup* LookupPosixGroup(const StringPiece& name) {
1635
46
  return LookupGroup(name, posix_groups, num_posix_groups);
1636
46
}
1637
1638
28.1k
static const UGroup* LookupPerlGroup(const StringPiece& name) {
1639
28.1k
  return LookupGroup(name, perl_groups, num_perl_groups);
1640
28.1k
}
1641
1642
#if !defined(RE2_USE_ICU)
1643
// Fake UGroup containing all Runes
1644
static URange16 any16[] = { { 0, 65535 } };
1645
static URange32 any32[] = { { 65536, Runemax } };
1646
static UGroup anygroup = { "Any", +1, any16, 1, any32, 1 };
1647
1648
// Look for a Unicode group with the given name (e.g., "Han")
1649
9.33k
static const UGroup* LookupUnicodeGroup(const StringPiece& name) {
1650
  // Special case: "Any" means any.
1651
9.33k
  if (name == StringPiece("Any"))
1652
702
    return &anygroup;
1653
8.63k
  return LookupGroup(name, unicode_groups, num_unicode_groups);
1654
9.33k
}
1655
#endif
1656
1657
// Add a UGroup or its negation to the character class.
1658
static void AddUGroup(CharClassBuilder *cc, const UGroup *g, int sign,
1659
27.2k
                      Regexp::ParseFlags parse_flags) {
1660
27.2k
  if (sign == +1) {
1661
1.34M
    for (int i = 0; i < g->nr16; i++) {
1662
1.32M
      cc->AddRangeFlags(g->r16[i].lo, g->r16[i].hi, parse_flags);
1663
1.32M
    }
1664
756k
    for (int i = 0; i < g->nr32; i++) {
1665
740k
      cc->AddRangeFlags(g->r32[i].lo, g->r32[i].hi, parse_flags);
1666
740k
    }
1667
16.5k
  } else {
1668
10.7k
    if (parse_flags & Regexp::FoldCase) {
1669
      // Normally adding a case-folded group means
1670
      // adding all the extra fold-equivalent runes too.
1671
      // But if we're adding the negation of the group,
1672
      // we have to exclude all the runes that are fold-equivalent
1673
      // to what's already missing.  Too hard, so do in two steps.
1674
7.55k
      CharClassBuilder ccb1;
1675
7.55k
      AddUGroup(&ccb1, g, +1, parse_flags);
1676
      // If the flags say to take out \n, put it in, so that negating will take it out.
1677
      // Normally AddRangeFlags does this, but we're bypassing AddRangeFlags.
1678
7.55k
      bool cutnl = !(parse_flags & Regexp::ClassNL) ||
1679
7.55k
                   (parse_flags & Regexp::NeverNL);
1680
7.55k
      if (cutnl) {
1681
2.23k
        ccb1.AddRange('\n', '\n');
1682
2.23k
      }
1683
7.55k
      ccb1.Negate();
1684
7.55k
      cc->AddCharClass(&ccb1);
1685
7.55k
      return;
1686
7.55k
    }
1687
3.15k
    int next = 0;
1688
261k
    for (int i = 0; i < g->nr16; i++) {
1689
258k
      if (next < g->r16[i].lo)
1690
258k
        cc->AddRangeFlags(next, g->r16[i].lo - 1, parse_flags);
1691
258k
      next = g->r16[i].hi + 1;
1692
258k
    }
1693
150k
    for (int i = 0; i < g->nr32; i++) {
1694
147k
      if (next < g->r32[i].lo)
1695
147k
        cc->AddRangeFlags(next, g->r32[i].lo - 1, parse_flags);
1696
147k
      next = g->r32[i].hi + 1;
1697
147k
    }
1698
3.15k
    if (next <= Runemax)
1699
2.94k
      cc->AddRangeFlags(next, Runemax, parse_flags);
1700
3.15k
  }
1701
27.2k
}
1702
1703
// Maybe parse a Perl character class escape sequence.
1704
// Only recognizes the Perl character classes (\d \s \w \D \S \W),
1705
// not the Perl empty-string classes (\b \B \A \Z \z).
1706
// On success, sets *s to span the remainder of the string
1707
// and returns the corresponding UGroup.
1708
// The StringPiece must *NOT* be edited unless the call succeeds.
1709
161k
const UGroup* MaybeParsePerlCCEscape(StringPiece* s, Regexp::ParseFlags parse_flags) {
1710
161k
  if (!(parse_flags & Regexp::PerlClasses))
1711
31.3k
    return NULL;
1712
130k
  if (s->size() < 2 || (*s)[0] != '\\')
1713
102k
    return NULL;
1714
  // Could use StringPieceToRune, but there aren't
1715
  // any non-ASCII Perl group names.
1716
28.1k
  StringPiece name(s->data(), 2);
1717
28.1k
  const UGroup *g = LookupPerlGroup(name);
1718
28.1k
  if (g == NULL)
1719
18.0k
    return NULL;
1720
10.0k
  s->remove_prefix(name.size());
1721
10.0k
  return g;
1722
28.1k
}
1723
1724
enum ParseStatus {
1725
  kParseOk,  // Did some parsing.
1726
  kParseError,  // Found an error.
1727
  kParseNothing,  // Decided not to parse.
1728
};
1729
1730
// Maybe parses a Unicode character group like \p{Han} or \P{Han}
1731
// (the latter is a negated group).
1732
ParseStatus ParseUnicodeGroup(StringPiece* s, Regexp::ParseFlags parse_flags,
1733
                              CharClassBuilder *cc,
1734
9.55k
                              RegexpStatus* status) {
1735
  // Decide whether to parse.
1736
9.55k
  if (!(parse_flags & Regexp::UnicodeGroups))
1737
69
    return kParseNothing;
1738
9.48k
  if (s->size() < 2 || (*s)[0] != '\\')
1739
0
    return kParseNothing;
1740
9.48k
  Rune c = (*s)[1];
1741
9.48k
  if (c != 'p' && c != 'P')
1742
0
    return kParseNothing;
1743
1744
  // Committed to parse.  Results:
1745
9.48k
  int sign = +1;  // -1 = negated char class
1746
9.48k
  if (c == 'P')
1747
6.40k
    sign = -sign;
1748
9.48k
  StringPiece seq = *s;  // \p{Han} or \pL
1749
9.48k
  StringPiece name;  // Han or L
1750
9.48k
  s->remove_prefix(2);  // '\\', 'p'
1751
1752
9.48k
  if (!StringPieceToRune(&c, s, status))
1753
0
    return kParseError;
1754
9.48k
  if (c != '{') {
1755
    // Name is the bit of string we just skipped over for c.
1756
7.21k
    const char* p = seq.data() + 2;
1757
7.21k
    name = StringPiece(p, static_cast<size_t>(s->data() - p));
1758
7.21k
  } else {
1759
    // Name is in braces. Look for closing }
1760
2.27k
    size_t end = s->find('}', 0);
1761
2.27k
    if (end == StringPiece::npos) {
1762
106
      if (!IsValidUTF8(seq, status))
1763
30
        return kParseError;
1764
76
      status->set_code(kRegexpBadCharRange);
1765
76
      status->set_error_arg(seq);
1766
76
      return kParseError;
1767
106
    }
1768
2.17k
    name = StringPiece(s->data(), end);  // without '}'
1769
2.17k
    s->remove_prefix(end + 1);  // with '}'
1770
2.17k
    if (!IsValidUTF8(name, status))
1771
50
      return kParseError;
1772
2.17k
  }
1773
1774
  // Chop seq where s now begins.
1775
9.33k
  seq = StringPiece(seq.data(), static_cast<size_t>(s->data() - seq.data()));
1776
1777
9.33k
  if (!name.empty() && name[0] == '^') {
1778
19
    sign = -sign;
1779
19
    name.remove_prefix(1);  // '^'
1780
19
  }
1781
1782
9.33k
#if !defined(RE2_USE_ICU)
1783
  // Look up the group in the RE2 Unicode data.
1784
9.33k
  const UGroup *g = LookupUnicodeGroup(name);
1785
9.33k
  if (g == NULL) {
1786
569
    status->set_code(kRegexpBadCharRange);
1787
569
    status->set_error_arg(seq);
1788
569
    return kParseError;
1789
569
  }
1790
1791
8.76k
  AddUGroup(cc, g, sign, parse_flags);
1792
#else
1793
  // Look up the group in the ICU Unicode data. Because ICU provides full
1794
  // Unicode properties support, this could be more than a lookup by name.
1795
  ::icu::UnicodeString ustr = ::icu::UnicodeString::fromUTF8(
1796
      std::string("\\p{") + std::string(name) + std::string("}"));
1797
  UErrorCode uerr = U_ZERO_ERROR;
1798
  ::icu::UnicodeSet uset(ustr, uerr);
1799
  if (U_FAILURE(uerr)) {
1800
    status->set_code(kRegexpBadCharRange);
1801
    status->set_error_arg(seq);
1802
    return kParseError;
1803
  }
1804
1805
  // Convert the UnicodeSet to a URange32 and UGroup that we can add.
1806
  int nr = uset.getRangeCount();
1807
  PODArray<URange32> r(nr);
1808
  for (int i = 0; i < nr; i++) {
1809
    r[i].lo = uset.getRangeStart(i);
1810
    r[i].hi = uset.getRangeEnd(i);
1811
  }
1812
  UGroup g = {"", +1, 0, 0, r.data(), nr};
1813
  AddUGroup(cc, &g, sign, parse_flags);
1814
#endif
1815
1816
8.76k
  return kParseOk;
1817
9.33k
}
1818
1819
// Parses a character class name like [:alnum:].
1820
// Sets *s to span the remainder of the string.
1821
// Adds the ranges corresponding to the class to ranges.
1822
static ParseStatus ParseCCName(StringPiece* s, Regexp::ParseFlags parse_flags,
1823
                               CharClassBuilder *cc,
1824
642
                               RegexpStatus* status) {
1825
  // Check begins with [:
1826
642
  const char* p = s->data();
1827
642
  const char* ep = s->data() + s->size();
1828
642
  if (ep - p < 2 || p[0] != '[' || p[1] != ':')
1829
0
    return kParseNothing;
1830
1831
  // Look for closing :].
1832
642
  const char* q;
1833
18.0k
  for (q = p+2; q <= ep-2 && (*q != ':' || *(q+1) != ']'); q++)
1834
17.4k
    ;
1835
1836
  // If no closing :], then ignore.
1837
642
  if (q > ep-2)
1838
596
    return kParseNothing;
1839
1840
  // Got it.  Check that it's valid.
1841
46
  q += 2;
1842
46
  StringPiece name(p, static_cast<size_t>(q - p));
1843
1844
46
  const UGroup *g = LookupPosixGroup(name);
1845
46
  if (g == NULL) {
1846
46
    status->set_code(kRegexpBadCharRange);
1847
46
    status->set_error_arg(name);
1848
46
    return kParseError;
1849
46
  }
1850
1851
0
  s->remove_prefix(name.size());
1852
0
  AddUGroup(cc, g, g->sign, parse_flags);
1853
0
  return kParseOk;
1854
46
}
1855
1856
// Parses a character inside a character class.
1857
// There are fewer special characters here than in the rest of the regexp.
1858
// Sets *s to span the remainder of the string.
1859
// Sets *rp to the character.
1860
bool Regexp::ParseState::ParseCCCharacter(StringPiece* s, Rune *rp,
1861
                                          const StringPiece& whole_class,
1862
138k
                                          RegexpStatus* status) {
1863
138k
  if (s->empty()) {
1864
0
    status->set_code(kRegexpMissingBracket);
1865
0
    status->set_error_arg(whole_class);
1866
0
    return false;
1867
0
  }
1868
1869
  // Allow regular escape sequences even though
1870
  // many need not be escaped in this context.
1871
138k
  if ((*s)[0] == '\\')
1872
6.26k
    return ParseEscape(s, rp, status, rune_max_);
1873
1874
  // Otherwise take the next rune.
1875
132k
  return StringPieceToRune(rp, s, status) >= 0;
1876
138k
}
1877
1878
// Parses a character class character, or, if the character
1879
// is followed by a hyphen, parses a character class range.
1880
// For single characters, rr->lo == rr->hi.
1881
// Sets *s to span the remainder of the string.
1882
// Sets *rp to the character.
1883
bool Regexp::ParseState::ParseCCRange(StringPiece* s, RuneRange* rr,
1884
                                      const StringPiece& whole_class,
1885
134k
                                      RegexpStatus* status) {
1886
134k
  StringPiece os = *s;
1887
134k
  if (!ParseCCCharacter(s, &rr->lo, whole_class, status))
1888
905
    return false;
1889
  // [a-] means (a|-), so check for final ].
1890
133k
  if (s->size() >= 2 && (*s)[0] == '-' && (*s)[1] != ']') {
1891
3.97k
    s->remove_prefix(1);  // '-'
1892
3.97k
    if (!ParseCCCharacter(s, &rr->hi, whole_class, status))
1893
57
      return false;
1894
3.91k
    if (rr->hi < rr->lo) {
1895
136
      status->set_code(kRegexpBadCharRange);
1896
136
      status->set_error_arg(
1897
136
          StringPiece(os.data(), static_cast<size_t>(s->data() - os.data())));
1898
136
      return false;
1899
136
    }
1900
129k
  } else {
1901
129k
    rr->hi = rr->lo;
1902
129k
  }
1903
133k
  return true;
1904
133k
}
1905
1906
// Parses a possibly-negated character class expression like [^abx-z[:digit:]].
1907
// Sets *s to span the remainder of the string.
1908
// Sets *out_re to the regexp for the class.
1909
bool Regexp::ParseState::ParseCharClass(StringPiece* s,
1910
                                        Regexp** out_re,
1911
10.6k
                                        RegexpStatus* status) {
1912
10.6k
  StringPiece whole_class = *s;
1913
10.6k
  if (s->empty() || (*s)[0] != '[') {
1914
    // Caller checked this.
1915
0
    status->set_code(kRegexpInternalError);
1916
0
    status->set_error_arg(StringPiece());
1917
0
    return false;
1918
0
  }
1919
10.6k
  bool negated = false;
1920
10.6k
  Regexp* re = new Regexp(kRegexpCharClass, flags_ & ~FoldCase);
1921
10.6k
  re->ccb_ = new CharClassBuilder;
1922
10.6k
  s->remove_prefix(1);  // '['
1923
10.6k
  if (!s->empty() && (*s)[0] == '^') {
1924
1.34k
    s->remove_prefix(1);  // '^'
1925
1.34k
    negated = true;
1926
1.34k
    if (!(flags_ & ClassNL) || (flags_ & NeverNL)) {
1927
      // If NL can't match implicitly, then pretend
1928
      // negated classes include a leading \n.
1929
399
      re->ccb_->AddRange('\n', '\n');
1930
399
    }
1931
1.34k
  }
1932
10.6k
  bool first = true;  // ] is okay as first char in class
1933
148k
  while (!s->empty() && ((*s)[0] != ']' || first)) {
1934
    // - is only okay unescaped as first or last in class.
1935
    // Except that Perl allows - anywhere.
1936
138k
    if ((*s)[0] == '-' && !first && !(flags_&PerlX) &&
1937
138k
        (s->size() == 1 || (*s)[1] != ']')) {
1938
63
      StringPiece t = *s;
1939
63
      t.remove_prefix(1);  // '-'
1940
63
      Rune r;
1941
63
      int n = StringPieceToRune(&r, &t, status);
1942
63
      if (n < 0) {
1943
31
        re->Decref();
1944
31
        return false;
1945
31
      }
1946
32
      status->set_code(kRegexpBadCharRange);
1947
32
      status->set_error_arg(StringPiece(s->data(), 1+n));
1948
32
      re->Decref();
1949
32
      return false;
1950
63
    }
1951
138k
    first = false;
1952
1953
    // Look for [:alnum:] etc.
1954
138k
    if (s->size() > 2 && (*s)[0] == '[' && (*s)[1] == ':') {
1955
642
      switch (ParseCCName(s, flags_, re->ccb_, status)) {
1956
0
        case kParseOk:
1957
0
          continue;
1958
46
        case kParseError:
1959
46
          re->Decref();
1960
46
          return false;
1961
596
        case kParseNothing:
1962
596
          break;
1963
642
      }
1964
642
    }
1965
1966
    // Look for Unicode character group like \p{Han}
1967
138k
    if (s->size() > 2 &&
1968
138k
        (*s)[0] == '\\' &&
1969
138k
        ((*s)[1] == 'p' || (*s)[1] == 'P')) {
1970
2.56k
      switch (ParseUnicodeGroup(s, flags_, re->ccb_, status)) {
1971
2.38k
        case kParseOk:
1972
2.38k
          continue;
1973
159
        case kParseError:
1974
159
          re->Decref();
1975
159
          return false;
1976
20
        case kParseNothing:
1977
20
          break;
1978
2.56k
      }
1979
2.56k
    }
1980
1981
    // Look for Perl character class symbols (extension).
1982
136k
    const UGroup *g = MaybeParsePerlCCEscape(s, flags_);
1983
136k
    if (g != NULL) {
1984
1.72k
      AddUGroup(re->ccb_, g, g->sign, flags_);
1985
1.72k
      continue;
1986
1.72k
    }
1987
1988
    // Otherwise assume single character or simple range.
1989
134k
    RuneRange rr;
1990
134k
    if (!ParseCCRange(s, &rr, whole_class, status)) {
1991
1.09k
      re->Decref();
1992
1.09k
      return false;
1993
1.09k
    }
1994
    // AddRangeFlags is usually called in response to a class like
1995
    // \p{Foo} or [[:foo:]]; for those, it filters \n out unless
1996
    // Regexp::ClassNL is set.  In an explicit range or singleton
1997
    // like we just parsed, we do not filter \n out, so set ClassNL
1998
    // in the flags.
1999
133k
    re->ccb_->AddRangeFlags(rr.lo, rr.hi, flags_ | Regexp::ClassNL);
2000
133k
  }
2001
9.33k
  if (s->empty()) {
2002
2.21k
    status->set_code(kRegexpMissingBracket);
2003
2.21k
    status->set_error_arg(whole_class);
2004
2.21k
    re->Decref();
2005
2.21k
    return false;
2006
2.21k
  }
2007
7.11k
  s->remove_prefix(1);  // ']'
2008
2009
7.11k
  if (negated)
2010
1.15k
    re->ccb_->Negate();
2011
2012
7.11k
  *out_re = re;
2013
7.11k
  return true;
2014
9.33k
}
2015
2016
// Returns whether name is a valid capture name.
2017
642
static bool IsValidCaptureName(const StringPiece& name) {
2018
642
  if (name.empty())
2019
14
    return false;
2020
2021
  // Historically, we effectively used [0-9A-Za-z_]+ to validate; that
2022
  // followed Python 2 except for not restricting the first character.
2023
  // As of Python 3, Unicode characters beyond ASCII are also allowed;
2024
  // accordingly, we permit the Lu, Ll, Lt, Lm, Lo, Nl, Mn, Mc, Nd and
2025
  // Pc categories, but again without restricting the first character.
2026
  // Also, Unicode normalization (e.g. NFKC) isn't performed: Python 3
2027
  // performs it for identifiers, but seemingly not for capture names;
2028
  // if they start doing that for capture names, we won't follow suit.
2029
628
  static const CharClass* const cc = []() {
2030
90
    CharClassBuilder ccb;
2031
90
    for (StringPiece group :
2032
90
         {"Lu", "Ll", "Lt", "Lm", "Lo", "Nl", "Mn", "Mc", "Nd", "Pc"})
2033
900
      AddUGroup(&ccb, LookupGroup(group, unicode_groups, num_unicode_groups),
2034
900
                +1, Regexp::NoParseFlags);
2035
90
    return ccb.GetCharClass();
2036
90
  }();
2037
2038
628
  StringPiece t = name;
2039
628
  Rune r;
2040
6.52k
  while (!t.empty()) {
2041
6.13k
    if (StringPieceToRune(&r, &t, NULL) < 0)
2042
0
      return false;
2043
6.13k
    if (cc->Contains(r))
2044
5.89k
      continue;
2045
233
    return false;
2046
6.13k
  }
2047
395
  return true;
2048
628
}
2049
2050
// Parses a Perl flag setting or non-capturing group or both,
2051
// like (?i) or (?: or (?i:.  Removes from s, updates parse state.
2052
// The caller must check that s begins with "(?".
2053
// Returns true on success.  If the Perl flag is not
2054
// well-formed or not supported, sets status_ and returns false.
2055
6.05k
bool Regexp::ParseState::ParsePerlFlags(StringPiece* s) {
2056
6.05k
  StringPiece t = *s;
2057
2058
  // Caller is supposed to check this.
2059
6.05k
  if (!(flags_ & PerlX) || t.size() < 2 || t[0] != '(' || t[1] != '?') {
2060
0
    status_->set_code(kRegexpInternalError);
2061
0
    LOG(DFATAL) << "Bad call to ParseState::ParsePerlFlags";
2062
0
    return false;
2063
0
  }
2064
2065
6.05k
  t.remove_prefix(2);  // "(?"
2066
2067
  // Check for named captures, first introduced in Python's regexp library.
2068
  // As usual, there are three slightly different syntaxes:
2069
  //
2070
  //   (?P<name>expr)   the original, introduced by Python
2071
  //   (?<name>expr)    the .NET alteration, adopted by Perl 5.10
2072
  //   (?'name'expr)    another .NET alteration, adopted by Perl 5.10
2073
  //
2074
  // Perl 5.10 gave in and implemented the Python version too,
2075
  // but they claim that the last two are the preferred forms.
2076
  // PCRE and languages based on it (specifically, PHP and Ruby)
2077
  // support all three as well.  EcmaScript 4 uses only the Python form.
2078
  //
2079
  // In both the open source world (via Code Search) and the
2080
  // Google source tree, (?P<expr>name) is the dominant form,
2081
  // so that's the one we implement.  One is enough.
2082
6.05k
  if (t.size() > 2 && t[0] == 'P' && t[1] == '<') {
2083
    // Pull out name.
2084
680
    size_t end = t.find('>', 2);
2085
680
    if (end == StringPiece::npos) {
2086
26
      if (!IsValidUTF8(*s, status_))
2087
13
        return false;
2088
13
      status_->set_code(kRegexpBadNamedCapture);
2089
13
      status_->set_error_arg(*s);
2090
13
      return false;
2091
26
    }
2092
2093
    // t is "P<name>...", t[end] == '>'
2094
654
    StringPiece capture(t.data()-2, end+3);  // "(?P<name>"
2095
654
    StringPiece name(t.data()+2, end-2);     // "name"
2096
654
    if (!IsValidUTF8(name, status_))
2097
12
      return false;
2098
642
    if (!IsValidCaptureName(name)) {
2099
247
      status_->set_code(kRegexpBadNamedCapture);
2100
247
      status_->set_error_arg(capture);
2101
247
      return false;
2102
247
    }
2103
2104
395
    if (!DoLeftParen(name)) {
2105
      // DoLeftParen's failure set status_.
2106
0
      return false;
2107
0
    }
2108
2109
395
    s->remove_prefix(
2110
395
        static_cast<size_t>(capture.data() + capture.size() - s->data()));
2111
395
    return true;
2112
395
  }
2113
2114
5.37k
  bool negated = false;
2115
5.37k
  bool sawflags = false;
2116
5.37k
  int nflags = flags_;
2117
5.37k
  Rune c;
2118
24.4k
  for (bool done = false; !done; ) {
2119
20.3k
    if (t.empty())
2120
78
      goto BadPerlOp;
2121
20.2k
    if (StringPieceToRune(&c, &t, status_) < 0)
2122
99
      return false;
2123
20.1k
    switch (c) {
2124
1.08k
      default:
2125
1.08k
        goto BadPerlOp;
2126
2127
      // Parse flags.
2128
3.58k
      case 'i':
2129
3.58k
        sawflags = true;
2130
3.58k
        if (negated)
2131
1.75k
          nflags &= ~FoldCase;
2132
1.83k
        else
2133
1.83k
          nflags |= FoldCase;
2134
3.58k
        break;
2135
2136
3.74k
      case 'm':  // opposite of our OneLine
2137
3.74k
        sawflags = true;
2138
3.74k
        if (negated)
2139
1.79k
          nflags |= OneLine;
2140
1.94k
        else
2141
1.94k
          nflags &= ~OneLine;
2142
3.74k
        break;
2143
2144
3.09k
      case 's':
2145
3.09k
        sawflags = true;
2146
3.09k
        if (negated)
2147
1.62k
          nflags &= ~DotNL;
2148
1.46k
        else
2149
1.46k
          nflags |= DotNL;
2150
3.09k
        break;
2151
2152
3.81k
      case 'U':
2153
3.81k
        sawflags = true;
2154
3.81k
        if (negated)
2155
2.12k
          nflags &= ~NonGreedy;
2156
1.68k
        else
2157
1.68k
          nflags |= NonGreedy;
2158
3.81k
        break;
2159
2160
      // Negation
2161
736
      case '-':
2162
736
        if (negated)
2163
13
          goto BadPerlOp;
2164
723
        negated = true;
2165
723
        sawflags = false;
2166
723
        break;
2167
2168
      // Open new group.
2169
3.74k
      case ':':
2170
3.74k
        if (!DoLeftParenNoCapture()) {
2171
          // DoLeftParenNoCapture's failure set status_.
2172
0
          return false;
2173
0
        }
2174
3.74k
        done = true;
2175
3.74k
        break;
2176
2177
      // Finish flags.
2178
351
      case ')':
2179
351
        done = true;
2180
351
        break;
2181
20.1k
    }
2182
20.1k
  }
2183
2184
4.10k
  if (negated && !sawflags)
2185
12
    goto BadPerlOp;
2186
2187
4.08k
  flags_ = static_cast<Regexp::ParseFlags>(nflags);
2188
4.08k
  *s = t;
2189
4.08k
  return true;
2190
2191
1.19k
BadPerlOp:
2192
1.19k
  status_->set_code(kRegexpBadPerlOp);
2193
1.19k
  status_->set_error_arg(
2194
1.19k
      StringPiece(s->data(), static_cast<size_t>(t.data() - s->data())));
2195
1.19k
  return false;
2196
4.10k
}
2197
2198
// Converts latin1 (assumed to be encoded as Latin1 bytes)
2199
// into UTF8 encoding in string.
2200
// Can't use EncodingUtils::EncodeLatin1AsUTF8 because it is
2201
// deprecated and because it rejects code points 0x80-0x9F.
2202
34.3k
void ConvertLatin1ToUTF8(const StringPiece& latin1, std::string* utf) {
2203
34.3k
  char buf[UTFmax];
2204
2205
34.3k
  utf->clear();
2206
1.54M
  for (size_t i = 0; i < latin1.size(); i++) {
2207
1.51M
    Rune r = latin1[i] & 0xFF;
2208
1.51M
    int n = runetochar(buf, &r);
2209
1.51M
    utf->append(buf, n);
2210
1.51M
  }
2211
34.3k
}
2212
2213
// Parses the regular expression given by s,
2214
// returning the corresponding Regexp tree.
2215
// The caller must Decref the return value when done with it.
2216
// Returns NULL on error.
2217
Regexp* Regexp::Parse(const StringPiece& s, ParseFlags global_flags,
2218
42.1k
                      RegexpStatus* status) {
2219
  // Make status non-NULL (easier on everyone else).
2220
42.1k
  RegexpStatus xstatus;
2221
42.1k
  if (status == NULL)
2222
0
    status = &xstatus;
2223
2224
42.1k
  ParseState ps(global_flags, s, status);
2225
42.1k
  StringPiece t = s;
2226
2227
  // Convert regexp to UTF-8 (easier on the rest of the parser).
2228
42.1k
  if (global_flags & Latin1) {
2229
34.3k
    std::string* tmp = new std::string;
2230
34.3k
    ConvertLatin1ToUTF8(t, tmp);
2231
34.3k
    status->set_tmp(tmp);
2232
34.3k
    t = *tmp;
2233
34.3k
  }
2234
2235
42.1k
  if (global_flags & Literal) {
2236
    // Special parse loop for literal string.
2237
55.3k
    while (!t.empty()) {
2238
53.5k
      Rune r;
2239
53.5k
      if (StringPieceToRune(&r, &t, status) < 0)
2240
442
        return NULL;
2241
53.1k
      if (!ps.PushLiteral(r))
2242
0
        return NULL;
2243
53.1k
    }
2244
1.74k
    return ps.DoFinish();
2245
2.19k
  }
2246
2247
39.9k
  StringPiece lastunary = StringPiece();
2248
1.24M
  while (!t.empty()) {
2249
1.21M
    StringPiece isunary = StringPiece();
2250
1.21M
    switch (t[0]) {
2251
844k
      default: {
2252
844k
        Rune r;
2253
844k
        if (StringPieceToRune(&r, &t, status) < 0)
2254
1.13k
          return NULL;
2255
843k
        if (!ps.PushLiteral(r))
2256
0
          return NULL;
2257
843k
        break;
2258
843k
      }
2259
2260
843k
      case '(':
2261
        // "(?" introduces Perl escape.
2262
36.1k
        if ((ps.flags() & PerlX) && (t.size() >= 2 && t[1] == '?')) {
2263
          // Flag changes and non-capturing groups.
2264
6.05k
          if (!ps.ParsePerlFlags(&t))
2265
1.57k
            return NULL;
2266
4.48k
          break;
2267
6.05k
        }
2268
30.1k
        if (ps.flags() & NeverCapture) {
2269
14.3k
          if (!ps.DoLeftParenNoCapture())
2270
0
            return NULL;
2271
15.8k
        } else {
2272
15.8k
          if (!ps.DoLeftParen(StringPiece()))
2273
0
            return NULL;
2274
15.8k
        }
2275
30.1k
        t.remove_prefix(1);  // '('
2276
30.1k
        break;
2277
2278
85.9k
      case '|':
2279
85.9k
        if (!ps.DoVerticalBar())
2280
0
          return NULL;
2281
85.9k
        t.remove_prefix(1);  // '|'
2282
85.9k
        break;
2283
2284
28.8k
      case ')':
2285
28.8k
        if (!ps.DoRightParen())
2286
1.03k
          return NULL;
2287
27.7k
        t.remove_prefix(1);  // ')'
2288
27.7k
        break;
2289
2290
21.0k
      case '^':  // Beginning of line.
2291
21.0k
        if (!ps.PushCaret())
2292
0
          return NULL;
2293
21.0k
        t.remove_prefix(1);  // '^'
2294
21.0k
        break;
2295
2296
13.0k
      case '$':  // End of line.
2297
13.0k
        if (!ps.PushDollar())
2298
0
          return NULL;
2299
13.0k
        t.remove_prefix(1);  // '$'
2300
13.0k
        break;
2301
2302
34.5k
      case '.':  // Any character (possibly except newline).
2303
34.5k
        if (!ps.PushDot())
2304
0
          return NULL;
2305
34.5k
        t.remove_prefix(1);  // '.'
2306
34.5k
        break;
2307
2308
10.6k
      case '[': {  // Character class.
2309
10.6k
        Regexp* re;
2310
10.6k
        if (!ps.ParseCharClass(&t, &re, status))
2311
3.58k
          return NULL;
2312
7.11k
        if (!ps.PushRegexp(re))
2313
0
          return NULL;
2314
7.11k
        break;
2315
7.11k
      }
2316
2317
26.3k
      case '*': {  // Zero or more.
2318
26.3k
        RegexpOp op;
2319
26.3k
        op = kRegexpStar;
2320
26.3k
        goto Rep;
2321
16.5k
      case '+':  // One or more.
2322
16.5k
        op = kRegexpPlus;
2323
16.5k
        goto Rep;
2324
24.1k
      case '?':  // Zero or one.
2325
24.1k
        op = kRegexpQuest;
2326
24.1k
        goto Rep;
2327
67.0k
      Rep:
2328
67.0k
        StringPiece opstr = t;
2329
67.0k
        bool nongreedy = false;
2330
67.0k
        t.remove_prefix(1);  // '*' or '+' or '?'
2331
67.0k
        if (ps.flags() & PerlX) {
2332
35.4k
          if (!t.empty() && t[0] == '?') {
2333
5.20k
            nongreedy = true;
2334
5.20k
            t.remove_prefix(1);  // '?'
2335
5.20k
          }
2336
35.4k
          if (!lastunary.empty()) {
2337
            // In Perl it is not allowed to stack repetition operators:
2338
            //   a** is a syntax error, not a double-star.
2339
            // (and a++ means something else entirely, which we don't support!)
2340
99
            status->set_code(kRegexpRepeatOp);
2341
99
            status->set_error_arg(StringPiece(
2342
99
                lastunary.data(),
2343
99
                static_cast<size_t>(t.data() - lastunary.data())));
2344
99
            return NULL;
2345
99
          }
2346
35.4k
        }
2347
66.9k
        opstr = StringPiece(opstr.data(),
2348
66.9k
                            static_cast<size_t>(t.data() - opstr.data()));
2349
66.9k
        if (!ps.PushRepeatOp(op, opstr, nongreedy))
2350
154
          return NULL;
2351
66.7k
        isunary = opstr;
2352
66.7k
        break;
2353
66.9k
      }
2354
2355
39.0k
      case '{': {  // Counted repetition.
2356
39.0k
        int lo, hi;
2357
39.0k
        StringPiece opstr = t;
2358
39.0k
        if (!MaybeParseRepetition(&t, &lo, &hi)) {
2359
          // Treat like a literal.
2360
17.7k
          if (!ps.PushLiteral('{'))
2361
0
            return NULL;
2362
17.7k
          t.remove_prefix(1);  // '{'
2363
17.7k
          break;
2364
17.7k
        }
2365
21.2k
        bool nongreedy = false;
2366
21.2k
        if (ps.flags() & PerlX) {
2367
14.3k
          if (!t.empty() && t[0] == '?') {
2368
1.88k
            nongreedy = true;
2369
1.88k
            t.remove_prefix(1);  // '?'
2370
1.88k
          }
2371
14.3k
          if (!lastunary.empty()) {
2372
            // Not allowed to stack repetition operators.
2373
23
            status->set_code(kRegexpRepeatOp);
2374
23
            status->set_error_arg(StringPiece(
2375
23
                lastunary.data(),
2376
23
                static_cast<size_t>(t.data() - lastunary.data())));
2377
23
            return NULL;
2378
23
          }
2379
14.3k
        }
2380
21.2k
        opstr = StringPiece(opstr.data(),
2381
21.2k
                            static_cast<size_t>(t.data() - opstr.data()));
2382
21.2k
        if (!ps.PushRepetition(lo, hi, opstr, nongreedy))
2383
234
          return NULL;
2384
21.0k
        isunary = opstr;
2385
21.0k
        break;
2386
21.2k
      }
2387
2388
39.1k
      case '\\': {  // Escaped character or Perl sequence.
2389
        // \b and \B: word boundary or not
2390
39.1k
        if ((ps.flags() & Regexp::PerlB) &&
2391
39.1k
            t.size() >= 2 && (t[1] == 'b' || t[1] == 'B')) {
2392
3.33k
          if (!ps.PushWordBoundary(t[1] == 'b'))
2393
0
            return NULL;
2394
3.33k
          t.remove_prefix(2);  // '\\', 'b'
2395
3.33k
          break;
2396
3.33k
        }
2397
2398
35.8k
        if ((ps.flags() & Regexp::PerlX) && t.size() >= 2) {
2399
31.5k
          if (t[1] == 'A') {
2400
354
            if (!ps.PushSimpleOp(kRegexpBeginText))
2401
0
              return NULL;
2402
354
            t.remove_prefix(2);  // '\\', 'A'
2403
354
            break;
2404
354
          }
2405
31.1k
          if (t[1] == 'z') {
2406
312
            if (!ps.PushSimpleOp(kRegexpEndText))
2407
0
              return NULL;
2408
312
            t.remove_prefix(2);  // '\\', 'z'
2409
312
            break;
2410
312
          }
2411
          // Do not recognize \Z, because this library can't
2412
          // implement the exact Perl/PCRE semantics.
2413
          // (This library treats "(?-m)$" as \z, even though
2414
          // in Perl and PCRE it is equivalent to \Z.)
2415
2416
30.8k
          if (t[1] == 'C') {  // \C: any byte [sic]
2417
2.03k
            if (!ps.PushSimpleOp(kRegexpAnyByte))
2418
0
              return NULL;
2419
2.03k
            t.remove_prefix(2);  // '\\', 'C'
2420
2.03k
            break;
2421
2.03k
          }
2422
2423
28.8k
          if (t[1] == 'Q') {  // \Q ... \E: the ... is always literals
2424
383
            t.remove_prefix(2);  // '\\', 'Q'
2425
6.33k
            while (!t.empty()) {
2426
6.17k
              if (t.size() >= 2 && t[0] == '\\' && t[1] == 'E') {
2427
129
                t.remove_prefix(2);  // '\\', 'E'
2428
129
                break;
2429
129
              }
2430
6.04k
              Rune r;
2431
6.04k
              if (StringPieceToRune(&r, &t, status) < 0)
2432
89
                return NULL;
2433
5.95k
              if (!ps.PushLiteral(r))
2434
0
                return NULL;
2435
5.95k
            }
2436
294
            break;
2437
383
          }
2438
28.8k
        }
2439
2440
32.7k
        if (t.size() >= 2 && (t[1] == 'p' || t[1] == 'P')) {
2441
6.99k
          Regexp* re = new Regexp(kRegexpCharClass, ps.flags() & ~FoldCase);
2442
6.99k
          re->ccb_ = new CharClassBuilder;
2443
6.99k
          switch (ParseUnicodeGroup(&t, ps.flags(), re->ccb_, status)) {
2444
6.38k
            case kParseOk:
2445
6.38k
              if (!ps.PushRegexp(re))
2446
0
                return NULL;
2447
6.38k
              goto Break2;
2448
6.38k
            case kParseError:
2449
566
              re->Decref();
2450
566
              return NULL;
2451
49
            case kParseNothing:
2452
49
              re->Decref();
2453
49
              break;
2454
6.99k
          }
2455
6.99k
        }
2456
2457
25.7k
        const UGroup *g = MaybeParsePerlCCEscape(&t, ps.flags());
2458
25.7k
        if (g != NULL) {
2459
8.33k
          Regexp* re = new Regexp(kRegexpCharClass, ps.flags() & ~FoldCase);
2460
8.33k
          re->ccb_ = new CharClassBuilder;
2461
8.33k
          AddUGroup(re->ccb_, g, g->sign, ps.flags());
2462
8.33k
          if (!ps.PushRegexp(re))
2463
0
            return NULL;
2464
8.33k
          break;
2465
8.33k
        }
2466
2467
17.4k
        Rune r;
2468
17.4k
        if (!ParseEscape(&t, &r, status, ps.rune_max()))
2469
1.47k
          return NULL;
2470
15.9k
        if (!ps.PushLiteral(r))
2471
0
          return NULL;
2472
15.9k
        break;
2473
15.9k
      }
2474
1.21M
    }
2475
1.20M
  Break2:
2476
1.20M
    lastunary = isunary;
2477
1.20M
  }
2478
29.9k
  return ps.DoFinish();
2479
39.9k
}
2480
2481
}  // namespace re2