Clarified control flow in nested loops.

diff --git a/re2c/src/ir/dfa/dfa.cc b/re2c/src/ir/dfa/dfa.cc
index 8870b0d8f883a4f820c3fe6f5ef4e0ebd1ed2c2c..2b2bd41eee7cd92c5d42a0eed69fc2a9385eb8b0 100644 (file)
--- a/re2c/src/ir/dfa/dfa.cc
+++ b/re2c/src/ir/dfa/dfa.cc
@@ -176,18 +176,16 @@ State *DFA::findState(Ins **kernel, ptrdiff_t kCount)
        {
                if (s->kCount == kCount)
                {
-                       for (Ins ** iP = s->kernel, * i; (i = *iP); ++iP)
+                       bool marked = true;
+                       for (Ins ** iP = s->kernel, * i; marked && (i = *iP); ++iP)
                        {
-                               if (!isMarked(i))
-                               {
-                                       goto nextState;
-                               }
+                               marked = isMarked (i);
+                       }
+                       if (marked)
+                       {
+                               goto unmarkAll;
                        }
-                       goto unmarkAll;
                }
-
-nextState:
-               ;
        }
 
        s = new State;