Clarify which label is relevant to initial state.

Initial state is different from all other states in that should
not advance YYCURSOR when it's entered first time (when DFA is
entered). But it should advance YYCURSOR like any normal state if
it's entered from any other part of DFA (other DFA states may well
lead to the inital state, e.g. '[^]*')

That's why inital state is split into two parts, each marked by a
separate label: normal state label points to the code that advances
YYCURSOR, and special label points right after that code (skips it).

It happens so that normal state label is equal to special initial
label plus one, but we shouldn't rely on that.

diff --git a/re2c/src/codegen/emit_action.cc b/re2c/src/codegen/emit_action.cc
index 57e140e6a957e95ebdda88460627568d2f96dc43..d6eaa17416725d8831023b12187ff12f3ab4fa06 100644 (file)
--- a/re2c/src/codegen/emit_action.cc
+++ b/re2c/src/codegen/emit_action.cc
@@ -85,7 +85,7 @@ void emit_initial (OutputFile & o, uint32_t ind, bool & readCh, const State * co
                o << startLabelName << ":\n";
        }
 
-       if (vUsedLabels.count(initial.label+1))
+       if (vUsedLabels.count(s->label))
        {
                if (s->link)
                {