Separate the marking algorithm and action removal algorithm

[c11tester.git] / funcinst.cc

diff --git a/funcinst.cc b/funcinst.cc
index df91edc848cb9a0417385bf0e6e78f31bcc321cd..d4288a1438384aff5520ae96aa36016fe6aa8ec6 100644 (file)
--- a/funcinst.cc
+++ b/funcinst.cc
@@ -67,7 +67,7 @@ FuncInst * FuncInst::search_in_collision(ModelAction *act)
        action_type type = act->get_type();
 
        mllnode<FuncInst*> * it;
-       for (it = collisions.begin(); it != NULL; it = it->getNext()) {
+       for (it = collisions.begin();it != NULL;it = it->getNext()) {
                FuncInst * inst = it->getVal();
                if (inst->get_type() == type)
                        return inst;
@@ -90,7 +90,7 @@ bool FuncInst::is_read() const
  * is_write() <==> pure writes (excluding rmw) */
 bool FuncInst::is_write() const
 {
-       return type == ATOMIC_WRITE || type == ATOMIC_RMW || type == ATOMIC_INIT || type == ATOMIC_UNINIT || type == NONATOMIC_WRITE;
+       return type == ATOMIC_WRITE || type == ATOMIC_RMW || type == ATOMIC_INIT || type == NONATOMIC_WRITE;
 }
 
 void FuncInst::print()