fix bug

diff --git a/cmodelint.cc b/cmodelint.cc
index 436de34f2cdfeab75e0611a78ffd8be761747916..3ff28d2bb3251da490bf988e6a6e6176c9385b2c 100644 (file)
--- 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;