From 7bde07a5b03021871cb939c1bec0a2d61fcba0fd Mon Sep 17 00:00:00 2001 From: weiyu Date: Fri, 5 Jul 2019 17:28:37 -0700 Subject: [PATCH] temporarily remove assertion for 'lock access before initialization'; to be improve in the future --- execution.cc | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/execution.cc b/execution.cc index a72cb675..e7ef8135 100644 --- a/execution.cc +++ b/execution.cc @@ -327,8 +327,9 @@ bool ModelExecution::process_mutex(ModelAction *curr) } //otherwise fall into the lock case case ATOMIC_LOCK: { - if (curr->get_cv()->getClock(state->alloc_tid) <= state->alloc_clock) - assert_bug("Lock access before initialization"); + //TODO: FIND SOME BETTER WAY TO CHECK LOCK INITIALIZED OR NOT + //if (curr->get_cv()->getClock(state->alloc_tid) <= state->alloc_clock) + // assert_bug("Lock access before initialization"); state->locked = get_thread(curr); ModelAction *unlock = get_last_unlock(curr); //synchronize with the previous unlock statement -- 2.34.1