X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=history.cc;fp=history.cc;h=3fe570b28e8c71f1334f195d4be23253a8efbe75;hp=d5179332a36e8e489a73b5248921d8535cd74a01;hb=527eb9241e1b39b6ad4125a71b951d445d4e251e;hpb=fbed9b2aaf6ac4f928a59dd0dd885348dcb0eb4c

diff --git a/history.cc b/history.cc
index d5179332..3fe570b2 100644
--- a/history.cc
+++ b/history.cc
@@ -181,15 +181,13 @@ void ModelHistory::process_action(ModelAction *act, thread_id_t tid)
 		return;
 
 	/* Add to curr_inst_list */
-	act->setFuncActRef(curr_act_list->add_back(act));
+	curr_act_list->push_back(act);
+
+	// Increment ref count for every action and reads_froms
+	act->incr_read_ref_count();
 	if (act->is_read()) {
 		ModelAction * rf = act->get_reads_from();
-		void * func_act_ref = rf->getFuncActRef();
-		if (func_act_ref == WRITE_REFERENCED) {
-			// do nothing
-		} else if (func_act_ref == NULL) {
-			rf->setFuncActRef(WRITE_REFERENCED);
-		}
+		rf->incr_read_ref_count();
 	}
 
 	FuncNode * func_node = func_nodes[func_id];