remove print statements

[c11tester.git] / funcnode.cc

diff --git a/funcnode.cc b/funcnode.cc
index e07ab9e22b13c9775e591e35ca81eba44fc43252..8e76ebc674bf8e6d7339b45768b6a8b87c0a961d 100644 (file)
--- a/funcnode.cc
+++ b/funcnode.cc
@@ -40,7 +40,7 @@ FuncInst * FuncNode::get_or_add_action(ModelAction *act)
 
                        func_inst = new FuncInst(act, this);
                        inst->get_collisions()->push_back(func_inst);
-                       inst_list.push_back(func_inst);         // delete?
+                       inst_list.push_back(func_inst); // delete?
 
                        return func_inst;
                }
@@ -126,7 +126,7 @@ void FuncNode::store_read(ModelAction * act, uint32_t tid)
        /* Store the memory locations where atomic reads happen */
        bool push_loc = true;
        ModelList<void *>::iterator it;
-       for (it = read_locations.begin(); it != read_locations.end(); it++) {
+       for (it = read_locations.begin();it != read_locations.end();it++) {
                if (location == *it) {
                        push_loc = false;
                        break;
@@ -159,7 +159,9 @@ uint64_t FuncNode::query_last_read(ModelAction * act, uint32_t tid)
  */
 void FuncNode::clear_read_map(uint32_t tid)
 {
-       ASSERT(thrd_read_map.size() > tid);
+       if (thrd_read_map.size() <= tid)
+               return;
+
        thrd_read_map[tid]->reset();
 }
 
@@ -172,7 +174,7 @@ void FuncNode::print_last_read(uint32_t tid)
        read_map_t * read_map = thrd_read_map[tid];
 
        ModelList<void *>::iterator it;
-       for (it = read_locations.begin(); it != read_locations.end(); it++) {
+       for (it = read_locations.begin();it != read_locations.end();it++) {
                if ( !read_map->contains(*it) )
                        break;