threads: initialized Thread member variables

[model-checker.git] / threads.cc

diff --git a/threads.cc b/threads.cc
index be384fb2889b1fdc85f16ae89e6274b8de833636..4c2086d7ce7c74a82277aad853d845d345374a2a 100644 (file)
--- a/threads.cc
+++ b/threads.cc
@@ -80,6 +80,9 @@ Thread::Thread(thrd_t *t, void (*func)(), void *a) {
 Thread::Thread(thrd_t *t) {
        /* system thread */
        user_thread = t;
+       start_routine = NULL;
+       arg = NULL;
+
        state = THREAD_CREATED;
        model->assign_id(this);
        create_context();