Fix typo
authorweiyu <weiyuluo1232@gmail.com>
Fri, 31 Jan 2020 19:56:12 +0000 (11:56 -0800)
committerweiyu <weiyuluo1232@gmail.com>
Fri, 31 Jan 2020 19:56:12 +0000 (11:56 -0800)
funcnode.cc
history.cc

index 691b2f6..9f972f0 100644 (file)
@@ -191,7 +191,7 @@ void FuncNode::update_tree(action_list_t * act_list)
                if (act->get_original_type() != ATOMIC_NOP && act->get_swap_flag() == false)
                        act->use_original_type();
 
-               act->decr_read_ref_count();
+               act->decr_func_ref_count();
 
                if (act->is_read()) {
                        // For every read or rmw actions in this list, the reads_from was marked, and not deleted.
@@ -200,7 +200,7 @@ void FuncNode::update_tree(action_list_t * act_list)
                        if (rf->get_original_type() != ATOMIC_NOP && rf->get_swap_flag() == false)
                                rf->use_original_type();
 
-                       rf->decr_read_ref_count();
+                       rf->decr_func_ref_count();
                }
 
                FuncInst * func_inst = get_inst(act);
@@ -291,7 +291,7 @@ void FuncNode::update_tree(action_list_t * act_list)
        while (it->hasNext()) {
                ModelAction * act = it->next();
 
-               if (act->is_free() && act->get_read_ref_count() == 0)
+               if (act->is_free() && act->get_func_ref_count() == 0)
                        delete act;
        }
        delete it;
index 3fe570b..90951ab 100644 (file)
@@ -184,10 +184,10 @@ void ModelHistory::process_action(ModelAction *act, thread_id_t tid)
        curr_act_list->push_back(act);
 
        // Increment ref count for every action and reads_froms
-       act->incr_read_ref_count();
+       act->incr_func_ref_count();
        if (act->is_read()) {
                ModelAction * rf = act->get_reads_from();
-               rf->incr_read_ref_count();
+               rf->incr_func_ref_count();
        }
 
        FuncNode * func_node = func_nodes[func_id];