From: weiyu <weiyuluo1232@gmail.com>
Date: Mon, 29 Jul 2019 19:54:59 +0000 (-0700)
Subject: fix bug
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0aabc1735fefde726519a05ffc7eef45d5ffb8c7;p=c11tester.git

fix bug
---

diff --git a/cmodelint.cc b/cmodelint.cc
index 436de34f..3ff28d2b 100644
--- a/cmodelint.cc
+++ b/cmodelint.cc
@@ -330,8 +330,7 @@ void cds_atomic_thread_fence(int atomic_index, const char * position) {
  */
 
 void cds_func_entry(const char * funcName) {
-	if (!model) return;
-
+	ensureModel();
 	Thread * th = thread_current();
 	uint32_t func_id;
 
@@ -355,8 +354,7 @@ void cds_func_entry(const char * funcName) {
 }
 
 void cds_func_exit(const char * funcName) {
-	if (!model) return;
-
+	ensureModel();
 	Thread * th = thread_current();
 	uint32_t func_id;