From: weiyu <weiyuluo1232@gmail.com>
Date: Tue, 23 Jul 2019 18:32:11 +0000 (-0700)
Subject: fix bug
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f4001ec19bed50b1d1fddace35e7e6375ac08075;p=c11tester.git

fix bug
---

diff --git a/history.cc b/history.cc
index cb2df7a4..a3398f9c 100644
--- a/history.cc
+++ b/history.cc
@@ -44,6 +44,9 @@ void ModelHistory::enter_function(const uint32_t func_id, thread_id_t tid)
 
 	func_list->push_back(func_id);
 	func_inst_lists->push_back( new func_inst_list_t() );
+
+	if ( func_nodes.size() <= func_id )
+		resize_func_nodes( func_id + 1 );
 }
 
 /* @param func_id a non-zero value */