From: weiyu Date: Sat, 6 Jul 2019 00:28:37 +0000 (-0700) Subject: temporarily remove assertion for 'lock access before initialization'; to be improve... X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=7bde07a5b03021871cb939c1bec0a2d61fcba0fd temporarily remove assertion for 'lock access before initialization'; to be improve in the future --- 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