bug fixes

[c11tester.git] / history.cc

diff --git a/history.cc b/history.cc
index b15169137180d884857fa5341e07ff95d27ceab3..ea4ce20b6e27fec6c60f51f1232f8631d109538a 100644 (file)
--- a/history.cc
+++ b/history.cc
@@ -26,7 +26,11 @@ void ModelHistory::enter_function(const uint32_t func_id, thread_id_t tid)
                thrd_func_inst_lists = model->get_execution()->get_thrd_func_inst_lists();
 
        if ( thrd_func_list->size() <= id ) {
-               thrd_func_list->resize( id + 1 );
+         uint oldsize = thrd_func_list->size();
+         thrd_func_list->resize( id + 1 );
+         for(uint i=oldsize; i<id+1; i++) {
+           new(&(*thrd_func_list)[i]) func_id_list_t();
+         }
                thrd_func_inst_lists->resize( id + 1 );
        }