From 8e7d06831c75df291170b57a5573efead68eaad9 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Mon, 4 Feb 2013 17:12:11 -0800
Subject: [PATCH] cyclegraph: bugfix - only use concrete writes to eliminate
threads
---
cyclegraph.cc | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/cyclegraph.cc b/cyclegraph.cc
index d2a032e..23e5eca 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);
--
2.34.1