fix bug
authorweiyu <weiyuluo1232@gmail.com>
Mon, 29 Jul 2019 19:54:59 +0000 (12:54 -0700)
committerweiyu <weiyuluo1232@gmail.com>
Mon, 29 Jul 2019 19:54:59 +0000 (12:54 -0700)
cmodelint.cc

index 436de34..3ff28d2 100644 (file)
@@ -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;