commit 9a227bed7a0fde418a94c967ef92d4a1fbe5e47f
author Paul Wankadia <junyer@google.com> Wed Oct 31 14:41:12 2018 -0700
committer Paul Wankadia <junyer@google.com> Wed Oct 31 21:44:06 2018 +0000
tree 43c38749d2150154cea9fcf987df1a51628fc289
parent 46155299edb9b30a44cfad233592a24c7d6a905d

Make Prefilter::Info::Walker::PostVisit() handle kRegexpAnyByte too.

Change-Id: Ifc72419178ff459f0e3041fbd085f7a5edbbaf0f
Reviewed-on: https://code-review.googlesource.com/c/35010
Reviewed-by: Paul Wankadia <junyer@google.com>

re2/prefilter.cc

diff --git a/re2/prefilter.cc b/re2/prefilter.cc
index e34aaf0..b657357 100644
--- a/re2/prefilter.cc
+++ b/re2/prefilter.cc
@@ -214,7 +214,7 @@
   static Info* Quest(Info* a);
   static Info* EmptyString();
   static Info* NoMatch();
-  static Info* AnyChar();
+  static Info* AnyCharOrAnyByte();
   static Info* CClass(CharClass* cc, bool latin1);
   static Info* Literal(Rune r);
   static Info* LiteralLatin1(Rune r);
@@ -417,8 +417,8 @@
   return info;
 }
 
-// Constructs Info for dot (any character).
-Prefilter::Info* Prefilter::Info::AnyChar() {
+// Constructs Info for dot (any character) or \C (any byte).
+Prefilter::Info* Prefilter::Info::AnyCharOrAnyByte() {
   Prefilter::Info* info = new Prefilter::Info();
   info->match_ = new Prefilter(ALL);
   return info;
@@ -461,7 +461,7 @@
 
   // If the class is too large, it's okay to overestimate.
   if (cc->size() > 10)
-    return AnyChar();
+    return AnyCharOrAnyByte();
 
   Prefilter::Info *a = new Prefilter::Info();
   for (CCIter i = cc->begin(); i != cc->end(); ++i)
@@ -622,8 +622,9 @@
       break;
 
     case kRegexpAnyChar:
+    case kRegexpAnyByte:
       // Claim nothing, except that it's not empty.
-      info = AnyChar();
+      info = AnyCharOrAnyByte();
       break;
 
     case kRegexpCharClass: