From 85593a2323042f726eee2f0c790e3ee7ecf93951 Mon Sep 17 00:00:00 2001
From: Ulya Trofimovich <skvadrik@gmail.com>
Date: Fri, 28 Aug 2015 22:03:51 +0100
Subject: [PATCH] Clarified control flow in nested loops.

---
 re2c/src/ir/dfa/dfa.cc | 16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)

diff --git a/re2c/src/ir/dfa/dfa.cc b/re2c/src/ir/dfa/dfa.cc
index 8870b0d8..2b2bd41e 100644
--- 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;
-- 
2.50.1