From: Brian Norris <banorris@uci.edu>
Date: Tue, 5 Feb 2013 01:12:11 +0000 (-0800)
Subject: cyclegraph: bugfix - only use concrete writes to eliminate threads
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=8e7d06831c75df291170b57a5573efead68eaad9

cyclegraph: bugfix - only use concrete writes to eliminate threads
---

diff --git a/cyclegraph.cc b/cyclegraph.cc
index d2a032ef..23e5eca4 100644
--- a/cyclegraph.cc
+++ b/cyclegraph.cc
@@ -307,9 +307,9 @@ bool CycleGraph::checkPromise(const ModelAction *fromact, Promise *promise) cons
 		CycleNode *node = queue.back();
 		queue.pop_back();
 
-		if (promise->eliminate_thread(node->getAction()->get_tid())) {
+		if (!node->is_promise() &&
+				promise->eliminate_thread(node->getAction()->get_tid()))
 			return true;
-		}
 
 		for (unsigned int i = 0; i < node->getNumEdges(); i++) {
 			CycleNode *next = node->getEdge(i);