From: Brian Demsky <bdemsky@uci.edu>
Date: Tue, 17 Jul 2012 05:26:54 +0000 (-0700)
Subject: remove dead code...  loop entrance condition is i<backtrack.size().  Therefore,
X-Git-Tag: pldi2013~348
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=38d09520b09ae79f636df3042a3184f0efc4de8d

remove dead code...  loop entrance condition is i<backtrack.size().  Therefore,
this branch can never be taken.  remove it as it is confusing.
---

diff --git a/nodestack.cc b/nodestack.cc
index 2416ed7..131452d 100644
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -109,8 +109,6 @@ thread_id_t Node::get_next_backtrack()
 	for (i = 0; i < backtrack.size(); i++)
 		if (backtrack[i] == true)
 			break;
-	if (i >= backtrack.size())
-		return THREAD_ID_T_NONE;
 	backtrack[i] = false;
 	numBacktracks--;
 	return int_to_id(i);