From: Brian Norris <banorris@uci.edu>
Date: Fri, 20 Apr 2012 06:28:41 +0000 (-0700)
Subject: threads: introduce THREAD_ID_T_NONE
X-Git-Tag: pldi2013~533
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ad3c7c39632343541f85667ed6ae2e27bc18d0e9;hp=509ac9f4deb3a676dbb4ed0ee977ac7c983a0af4;p=model-checker.git

threads: introduce THREAD_ID_T_NONE

Represents a kind of 'NULL' thread, but for integer IDs.
---

diff --git a/threads.h b/threads.h
index b973224..9787c3f 100644
--- a/threads.h
+++ b/threads.h
@@ -5,6 +5,8 @@
 
 #include "libthreads.h"
 
+#define THREAD_ID_T_NONE	-1
+
 typedef enum thread_state {
 	THREAD_CREATED,
 	THREAD_RUNNING,
diff --git a/tree.h b/tree.h
index 6d37038..676cbe4 100644
--- a/tree.h
+++ b/tree.h
@@ -3,7 +3,7 @@
 #include "threads.h"
 
 typedef thread_id_t tree_t;
-#define TREE_T_NONE	-1
+#define TREE_T_NONE	THREAD_ID_T_NONE
 
 /*
  * An n-ary tree