From c4a37245401238b1552ca14326fc2ae351ffce2c Mon Sep 17 00:00:00 2001 From: Ulya Trofimovich Date: Tue, 26 May 2015 12:34:57 +0100 Subject: [PATCH] Clarify which label is relevant to initial state. (see commit 4ab969deca341820d03ffb979f023256b10c2f92) --- re2c/src/codegen/emit_dfa.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/re2c/src/codegen/emit_dfa.cc b/re2c/src/codegen/emit_dfa.cc index 3681e85d..a331cc28 100644 --- a/re2c/src/codegen/emit_dfa.cc +++ b/re2c/src/codegen/emit_dfa.cc @@ -195,7 +195,7 @@ void DFA::emit(Output & output, uint32_t& ind, const RegExpMap* specMap, const s } // The start_label is not always the first to be emitted, so we may have to jump. c.f. Initial::emit() - if (vUsedLabels.count(start_label+1)) + if (vUsedLabels.count(head->label)) { vUsedLabels.insert(start_label); o << indent(ind) << "goto " << labelPrefix << start_label << ";\n"; -- 2.40.0