Merge branch 'branch-weiyu' of /home/git/random-fuzzer into new_fuzzer

[c11tester.git] / history.cc

diff --git a/history.cc b/history.cc
index 7b6e3c8..3c000e7 100644 (file)
--- a/history.cc
+++ b/history.cc
@@ -56,7 +56,6 @@ void ModelHistory::exit_function(const uint32_t func_id, thread_id_t tid)
        uint32_t last_func_id = (*thrd_func_list)[id].back();
 
        if (last_func_id == func_id) {
        uint32_t last_func_id = (*thrd_func_list)[id].back();
 
        if (last_func_id == func_id) {

-               /* clear read map upon exiting functions */

                FuncNode * func_node = func_nodes[func_id];
                func_node->clear_read_map(tid);
 
                FuncNode * func_node = func_nodes[func_id];
                func_node->clear_read_map(tid);
 


@@ -79,7 +78,7 @@ void ModelHistory::resize_func_nodes(uint32_t new_size)
        if ( old_size < new_size )
                func_nodes.resize(new_size);
 
        if ( old_size < new_size )
                func_nodes.resize(new_size);
 

-       for (uint32_t id = old_size; id < new_size; id++) {
+       for (uint32_t id = old_size;id < new_size;id++) {

                const char * func_name = func_map_rev[id];
                FuncNode * func_node = new FuncNode();
                func_node->set_func_id(id);
                const char * func_name = func_map_rev[id];
                FuncNode * func_node = new FuncNode();
                func_node->set_func_id(id);


@@ -116,8 +115,8 @@ void ModelHistory::process_action(ModelAction *act, thread_id_t tid)
        if (inst == NULL)
                return;
 
        if (inst == NULL)
                return;
 

-       if (inst->is_read())
-               func_node->store_read(act, tid);
+       //      if (inst->is_read())
+       //      func_node->store_read(act, tid);

 
        if (inst->is_write())
                add_to_write_history(act->get_location(), act->get_write_value());
 
        if (inst->is_write())
                add_to_write_history(act->get_location(), act->get_write_value());