cyclegraph: possible optimization

diff --git a/cyclegraph.cc b/cyclegraph.cc
index 7fadcbd..44f5a28 100644 (file)
--- 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;