Remove an unused data structure

diff --git a/funcnode.cc b/funcnode.cc
index ff7a7a8eef2f0a8fcb2bde23386933bf176dd3bc..879011602807af25a40864039aa5fff6136d5ad1 100644 (file)
--- a/funcnode.cc
+++ b/funcnode.cc
@@ -7,7 +7,6 @@ FuncNode::FuncNode(ModelHistory * history) :
        func_inst_map(),
        inst_list(),
        entry_insts(),
-//     thrd_read_map(),
        action_list_buffer(),
        predicate_tree_position()
 {
@@ -26,9 +25,6 @@ FuncNode::FuncNode(ModelHistory * history) :
 /* Reallocate snapshotted memories when new executions start */
 void FuncNode::set_new_exec_flag()
 {
-//     for (uint i = 0; i < thrd_read_map.size(); i++)
-//             thrd_read_map[i] = new read_map_t();
-
        for (mllnode<FuncInst *> * it = inst_list.begin(); it != NULL; it = it->getNext()) {
                FuncInst * inst = it->getVal();
                inst->unset_location();
@@ -598,23 +594,3 @@ void FuncNode::print_val_loc_map()
        }
 */
 }
-
-/* @param tid thread id
- * Print the values read by the last read actions for each memory location
- */
-/*
-void FuncNode::print_last_read(thread_id_t tid)
-{
-       ASSERT(thrd_read_map.size() > tid);
-       read_map_t * read_map = thrd_read_map[tid];
-
-       mllnode<void *> * it;
-       for (it = read_locations.begin();it != NULL;it=it->getNext()) {
-               if ( !read_map->contains(it->getVal()) )
-                       break;
-
-               uint64_t read_val = read_map->get(it->getVal());
-               model_print("last read of thread %d at %p: 0x%x\n", tid, it->getVal(), read_val);
-       }
-}
-*/

diff --git a/funcnode.h b/funcnode.h
index f5b51021e51041bbbeaa1b926425932717f1b289..4287a99ff3baa43fc911df2a59f6069509634d26 100644 (file)
--- a/funcnode.h
+++ b/funcnode.h
@@ -82,9 +82,6 @@ private:
        /* Possible entry atomic actions in this function */
        func_inst_list_mt entry_insts;
 
-       /* Store the values read by atomic read actions per memory location for each thread */
-       //ModelVector<read_map_t *> thrd_read_map;
-
        /* Store action_lists when calls to update_tree are deferred */
        ModelList<action_list_t *> action_list_buffer;