| commit | 2aef2718c21085e69af8845c785652d3810e90bb | [log] [tgz] |
|---|---|---|
| author | Paul Wankadia <junyer@google.com> | Mon May 11 10:03:15 2020 -0700 |
| committer | Paul Wankadia <junyer@google.com> | Mon May 11 17:04:54 2020 +0000 |
| tree | 3bf6ef8eff7962aa3f12b7e0002744c4509df221 | |
| parent | 75220ad07cb24ecfa20c9cebed39f1f98fb079cf [diff] |
Don't dereference params->start unconditionally. Change-Id: I92d0867434a7668a81278de82af45d0a29b9d1e6 Reviewed-on: https://code-review.googlesource.com/c/re2/+/56216 Reviewed-by: Paul Wankadia <junyer@google.com>
diff --git a/re2/dfa.cc b/re2/dfa.cc index f0a79f0..0c97bdf 100644 --- a/re2/dfa.cc +++ b/re2/dfa.cc
@@ -1702,6 +1702,7 @@ // different state! if (prog_->first_byte() >= 0 && !params->anchored && + params->start > SpecialStateMax && params->start->flag_ >> kFlagNeedShift == 0) params->have_first_byte = true;