more code

[c11tester.git] / execution.cc

diff --git a/execution.cc b/execution.cc
index 1691c6434e6025ece00a736a116a4dbf007c5242..38571bec2c22169147903eb3d9ac21a4372b607b 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -390,8 +390,8 @@ bool ModelExecution::process_mutex(ModelAction *curr)
        case ATOMIC_NOTIFY_ALL: {
                action_list_t *waiters = get_safe_ptr_action(&condvar_waiters_map, curr->get_location());
                //activate all the waiting threads
-               for (action_list_t::iterator rit = waiters->begin();rit != waiters->end();rit++) {
-                       scheduler->wake(get_thread(*rit));
+               for (sllnode<ModelAction *> * rit = waiters->begin();rit != NULL;rit=rit->getNext()) {
+                 scheduler->wake(get_thread(rit->getVal()));
                }
                waiters->clear();
                break;