From: weiyu <weiyuluo1232@gmail.com>
Date: Thu, 29 Aug 2019 01:18:18 +0000 (-0700)
Subject: remove unused member functions
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=3c759d598bfa5fff495d9a7cc931ce68a80ad6e6;p=c11tester.git

remove unused member functions
---

diff --git a/history.cc b/history.cc
index 9bd78d65..ff7b4a25 100644
--- 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 2a77e251..0a51e640 100644
--- 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; }