remove unused member functions

diff --git a/history.cc b/history.cc
index 9bd78d65393ccb54259ee730c584910541ca71ad..ff7b4a25f84cce4b7e28f32c68c3237423b12d72 100644 (file)
--- a/history.cc
+++ b/history.cc
@@ -180,7 +180,6 @@ void ModelHistory::process_action(ModelAction *act, thread_id_t tid)
                Fuzzer * fuzzer = model->get_execution()->getFuzzer();
                Predicate * selected_branch = fuzzer->get_selected_child_branch(tid);
                func_node->set_predicate_tree_position(tid, selected_branch);
-               //func_node->store_read(act, tid);
        }
 }
 
@@ -193,25 +192,6 @@ FuncNode * ModelHistory::get_func_node(uint32_t func_id)
        return func_nodes[func_id];
 }
 
-/*
-uint64_t ModelHistory::query_last_read(void * location, thread_id_t tid)
-{
-       SnapVector<func_id_list_t> * thrd_func_list = model->get_execution()->get_thrd_func_list();
-       uint32_t id = id_to_int(tid);
-
-       ASSERT( thrd_func_list->size() > id );
-       uint32_t func_id = (*thrd_func_list)[id].back();
-       FuncNode * func_node = func_nodes[func_id];
-
-       uint64_t last_read_val = 0xdeadbeef;
-       if (func_node != NULL) {
-               last_read_val = func_node->query_last_read(location, tid);
-       }
-
-       return last_read_val;
-}
-*/
-
 void ModelHistory::add_to_write_history(void * location, uint64_t write_val)
 {
        value_set_t * write_set = write_history.get(location);

diff --git a/history.h b/history.h
index 2a77e251f8786709d7731318075047803e31d1fe..0a51e6404826bda5407cbf41be96b8635051f5df 100644 (file)
--- a/history.h
+++ b/history.h
@@ -26,7 +26,6 @@ public:
 
        ModelVector<FuncNode *> * getFuncNodes() { return &func_nodes; }
        FuncNode * get_func_node(uint32_t func_id);
-//     uint64_t query_last_read(void * location, thread_id_t tid);
 
        void add_to_write_history(void * location, uint64_t write_val);
        HashTable<void *, value_set_t *, uintptr_t, 4> * getWriteHistory() { return &write_history; }