From 4a0ccfff133267ffc5a1b456e465eff9317249dd Mon Sep 17 00:00:00 2001 From: weiyu Date: Thu, 18 Jul 2019 11:36:41 -0700 Subject: [PATCH] function id should start with 1 rather than 0 --- history.cc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/history.cc b/history.cc index caf86ced..23e0d85a 100644 --- a/history.cc +++ b/history.cc @@ -10,7 +10,7 @@ /** @brief Constructor */ ModelHistory::ModelHistory() : - func_counter(0), /* function id starts with 0 */ + func_counter(1), /* function id starts with 1 */ func_map(), func_map_rev(), func_atomics() @@ -106,6 +106,7 @@ void ModelHistory::add_func_atomic(ModelAction *act, thread_id_t tid) func_atomics[func_id] = func_node; } + /* add corresponding FuncInst to func_node and curr_inst_list*/ FuncInst * inst = func_node->get_or_add_action(act); if (inst != NULL) { func_inst_list_t * curr_inst_list = func_inst_lists->back(); -- 2.34.1