projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
d279e84
)
threads: initialized Thread member variables
author
Brian Norris
<banorris@uci.edu>
Tue, 24 Apr 2012 00:43:42 +0000
(17:43 -0700)
committer
Brian Norris
<banorris@uci.edu>
Tue, 24 Apr 2012 00:43:42 +0000
(17:43 -0700)
threads.cc
patch
|
blob
|
history
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();