From: Brian Norris <banorris@uci.edu>
Date: Tue, 2 Oct 2012 00:37:02 +0000 (-0700)
Subject: model: refactor/reword initialize_curr_action()
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=2e343f1ee60e801cb17ef75fb915f44a389eb6c7;p=cdsspec-compiler.git

model: refactor/reword initialize_curr_action()
---

diff --git a/model.cc b/model.cc
index c4bc693..9dc1d37 100644
--- a/model.cc
+++ b/model.cc
@@ -543,16 +543,19 @@ ModelAction * ModelChecker::initialize_curr_action(ModelAction *curr)
 		/* Discard duplicate ModelAction; use action from NodeStack */
 		delete curr;
 
+		/* Always compute new clock vector */
 		newcurr->create_cv(get_parent_action(newcurr->get_tid()));
 	} else {
 		newcurr = curr;
+
+		/* Always compute new clock vector */
+		newcurr->create_cv(get_parent_action(newcurr->get_tid()));
 		/*
 		 * Perform one-time actions when pushing new ModelAction onto
 		 * NodeStack
 		 */
-		curr->create_cv(get_parent_action(curr->get_tid()));
-		if (curr->is_write())
-			compute_promises(curr);
+		if (newcurr->is_write())
+			compute_promises(newcurr);
 	}
 	return newcurr;
 }