From: Brian Demsky <bdemsky@uci.edu>
Date: Mon, 15 Apr 2013 08:00:36 +0000 (-0700)
Subject: fix weird duplicated code
X-Git-Tag: oopsla2013~78
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=383429e233bec211bb45b00ed3c1e0fb18ee7673;hp=e61244213160c2151a77c7cf8ca8beb865e62140;p=model-checker.git

fix weird duplicated code
---

diff --git a/scanalysis.cc b/scanalysis.cc
index 288aa49..ff7854a 100644
--- a/scanalysis.cc
+++ b/scanalysis.cc
@@ -228,12 +228,6 @@ void SCAnalysis::computeCV(action_list_t *list) {
 				ClockVector *finishcv = cvmap->get(finish);
 				changed |= (finishcv == NULL) || merge(cv, act, finishcv);
 			}
-			if (act->is_thread_join()) {
-				Thread *joinedthr = act->get_thread_operand();
-				ModelAction *finish = model->get_last_action(joinedthr->get_id());
-				ClockVector *finishcv = cvmap->get(finish);
-				changed |= (finishcv == NULL) || cv->merge(finishcv);
-			}
 			if (act->is_read()) {
 				changed|=processRead(act, cv);
 			}