From: Brian Norris <banorris@uci.edu>
Date: Tue, 24 Apr 2012 00:43:42 +0000 (-0700)
Subject: threads: initialized Thread member variables
X-Git-Tag: pldi2013~517
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=067807af61c0df207b4ca77660eeb3b6e9e6882c

threads: initialized Thread member variables
---

diff --git a/threads.cc b/threads.cc
index be384fb..4c2086d 100644
--- 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();