change some data structures

[c11tester.git] / pthread.cc

diff --git a/pthread.cc b/pthread.cc
index bad6beae1d60c761aac5f3c887700028f838c958..c96777488ee8cae08c20dcf88ab98d4c20e5caf3 100644 (file)
--- a/pthread.cc
+++ b/pthread.cc
@@ -189,7 +189,7 @@ int pthread_cond_timedwait(pthread_cond_t *p_cond,
                pthread_mutex_init(p_mutex, NULL);
 
        cdsc::snapcondition_variable *v = execution->getCondMap()->get(p_cond);
-       cdsc::snapmutex *m = execution->getMutexMap()->get(p_mutex);
+//     cdsc::snapmutex *m = execution->getMutexMap()->get(p_mutex);
 
        model->switch_to_master(new ModelAction(NOOP, std::memory_order_seq_cst, v));
 //     v->wait(*m);
@@ -229,4 +229,5 @@ int pthread_cond_destroy(pthread_cond_t *p_cond) {
                delete v;
                execution->getCondMap()->remove(p_cond);
        }
+       return 0;
 }