X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=history.cc;h=c1c9edf5ae16bf9f4bd47b53333512e6e571ab31;hp=deaab0be37bae9818dd053db4055bb0de5ba0bfd;hb=9f4ad85b11b8995690bb13097c5515bcd44f3a09;hpb=755d1463d1871b4d075b59b5c9e17c409e12db9a

diff --git a/history.cc b/history.cc
index deaab0be..c1c9edf5 100644
--- a/history.cc
+++ b/history.cc
@@ -30,6 +30,7 @@ void ModelHistory::enter_function(const uint32_t func_id, thread_id_t tid)
 		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();
 			// push 0 as a dummy function id to a void seg fault
 			(*thrd_func_list)[i].push_back(0);
 		}