From: Brian Norris <banorris@uci.edu>
Date: Sat, 9 Feb 2013 00:34:33 +0000 (-0800)
Subject: cyclegraph: possible optimization
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=f09f0fed35af38da74497923a910ab8043405016;ds=sidebyside

cyclegraph: possible optimization
---

diff --git a/cyclegraph.cc b/cyclegraph.cc
index 7fadcbda..44f5a28b 100644
--- a/cyclegraph.cc
+++ b/cyclegraph.cc
@@ -443,6 +443,8 @@ bool CycleGraph::checkPromise(const ModelAction *fromact, Promise *promise) cons
 		CycleNode *node = queue.back();
 		queue.pop_back();
 
+		if (node->getPromise() == promise)
+			return true;
 		if (!node->is_promise() &&
 				promise->eliminate_thread(node->getAction()->get_tid()))
 			return true;