temporarily remove assertion for 'lock access before initialization'; to be improve...

diff --git a/execution.cc b/execution.cc
index a72cb675bb5dd20df4c56bceecb3f840a21b30d3..e7ef8135211e6c82adf60801507761fd11a0b3c4 100644 (file)
--- 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: {
        }
        //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
                state->locked = get_thread(curr);
                ModelAction *unlock = get_last_unlock(curr);
                //synchronize with the previous unlock statement