Change initialize a bit

[c11tester.git] / futex.cc

diff --git a/futex.cc b/futex.cc
index 0647337bc725b61d0110953e8670bc01784b6a7f..677b4afd9fe29740aacd604566d8811da833d06f 100644 (file)
--- a/futex.cc
+++ b/futex.cc
@@ -61,6 +61,10 @@ namespace std _GLIBCXX_VISIBILITY(default)
                // INT_MAX wakes all the waiters at the address __addr
                ModelExecution *execution = model->get_execution();
                cdsc::condition_variable *v = execution->getCondMap()->get( (pthread_cond_t *) __addr);
                // INT_MAX wakes all the waiters at the address __addr
                ModelExecution *execution = model->get_execution();
                cdsc::condition_variable *v = execution->getCondMap()->get( (pthread_cond_t *) __addr);

+
+               if (v == NULL)
+                       return;// do nothing
+

                v->notify_all();
        }
 
                v->notify_all();
        }