projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix typo
[c11tester.git]
/
funcnode.cc
diff --git
a/funcnode.cc
b/funcnode.cc
index 691b2f6924a9f4427f9720f90d439390fb65cb28..9f972f00558d7c80a36fd107c63a4c8847fbc987 100644
(file)
--- a/
funcnode.cc
+++ b/
funcnode.cc
@@
-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();
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.
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();
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);
}
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();
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;
delete act;
}
delete it;