X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=threads-model.h;h=e159697d9d54ce10c3cfb1fe204352a9e0bd7435;hp=c6078200f5911f5bf3dd78f80125b881683e1a0e;hb=884ebb4495edcb6fed84c0b4746b882bb0918ddc;hpb=3d0d4dd1b66d946b225666769f4121c4867259be

diff --git a/threads-model.h b/threads-model.h
index c6078200..e159697d 100644
--- a/threads-model.h
+++ b/threads-model.h
@@ -101,6 +101,8 @@ public:
 
 	bool is_model_thread() const { return model_thread; }
 
+	void * get_stack_addr() { return stack; }
+
 	friend void thread_startup();
 #ifdef TLS
 	friend void setup_context();
@@ -156,6 +158,7 @@ private:
 	void *arg;
 	ucontext_t context;
 	void *stack;
+	uint32_t stack_size;
 #ifdef TLS
 	void * helper_stack;
 public: