commit b61d7b70f844298a6d469520987442e8688cf974
author Paul Wankadia <junyer@google.com> Tue May 19 09:04:20 2020 -0700
committer Paul Wankadia <junyer@google.com> Tue May 19 16:05:13 2020 +0000
tree 726ef353a6f5b535b0f5f6d348c8a54cdd2fadc2
parent 26bc1afb8dedd15261634fe2104e79a7ccdcd21b

have_first_byte now implies run_forward.

Change-Id: I88c88e17f7c3789744805c0039a67df7360d6b3e
Reviewed-on: https://code-review.googlesource.com/c/re2/+/56652
Reviewed-by: Paul Wankadia <junyer@google.com>

re2/dfa.cc

diff --git a/re2/dfa.cc b/re2/dfa.cc
index 6581aec..e0eb15d 100644
--- a/re2/dfa.cc
+++ b/re2/dfa.cc
@@ -1368,7 +1368,7 @@
     if (ExtraDebug)
       fprintf(stderr, "@%td: %s\n", p - bp, DumpState(s).c_str());
 
-    if (run_forward && have_first_byte && s == start) {
+    if (have_first_byte && s == start) {
       // In start state, only way out is to find first_byte,
       // so use optimized assembly in memchr to skip ahead.
       // If first_byte isn't found, we can skip to the end