X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=model.cc;h=d8ae7ea4bf1eaa3c4ec2830d8c69f882ddb873c0;hp=96ee3de6325156a75f1952df6cbba0415232ed80;hb=8060b81309297c5d890f5229fd6c6fb2bb350b07;hpb=85234dee853ecfdc0ccdb44703a1119b806a465b

diff --git a/model.cc b/model.cc
index 96ee3de..d8ae7ea 100644
--- a/model.cc
+++ b/model.cc
@@ -281,7 +281,7 @@ bool ModelChecker::process_read(ModelAction *curr, bool second_part_of_rmw)
 			bool r_status = false;
 
 			if (!second_part_of_rmw) {
-				check_recency(curr,false);
+				check_recency(curr);
 				r_status = r_modification_order(curr, reads_from);
 			}
 
@@ -531,7 +531,7 @@ ModelAction * ModelChecker::process_rmw(ModelAction *act) {
  *
  * If so, we decide that the execution is no longer feasible.
  */
-void ModelChecker::check_recency(ModelAction *curr, bool already_added) {
+void ModelChecker::check_recency(ModelAction *curr) {
 	if (params.maxreads != 0) {
 		if (curr->get_node()->get_read_from_size() <= 1)
 			return;
@@ -552,12 +552,10 @@ void ModelChecker::check_recency(ModelAction *curr, bool already_added) {
 
 		action_list_t::reverse_iterator rit = list->rbegin();
 		/* Skip past curr */
-		if (already_added) {
-			for (; (*rit) != curr; rit++)
-				;
-			/* go past curr now */
-			rit++;
-		}
+		for (; (*rit) != curr; rit++)
+			;
+		/* go past curr now */
+		rit++;
 
 		action_list_t::reverse_iterator ritcopy = rit;
 		//See if we have enough reads from the same value