From 0aabc1735fefde726519a05ffc7eef45d5ffb8c7 Mon Sep 17 00:00:00 2001 From: weiyu Date: Mon, 29 Jul 2019 12:54:59 -0700 Subject: [PATCH] fix bug --- cmodelint.cc | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) 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; -- 2.34.1