From f09f0fed35af38da74497923a910ab8043405016 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Fri, 8 Feb 2013 16:34:33 -0800 Subject: [PATCH] cyclegraph: possible optimization --- cyclegraph.cc | 2 ++ 1 file changed, 2 insertions(+) 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; -- 2.34.1