TSAN style tls destructor

[c11tester.git] / threads-model.h

diff --git a/threads-model.h b/threads-model.h
index f2162a89e55752ffde61e74ebf3f0c675584d4ba..f2efd6c0a75f962600b820222b2cb62ffb974ff4 100644 (file)
--- a/threads-model.h
+++ b/threads-model.h
@@ -157,6 +157,7 @@ private:
        ucontext_t context;
        void *stack;
 #ifdef TLS
+       void * helper_stack;
 public:
        char *tls;
        ucontext_t helpercontext;
@@ -185,6 +186,7 @@ private:
 
 #ifdef TLS
 uintptr_t get_tls_addr();
+void tlsdestructor(void *v);
 #endif
 
 Thread * thread_current();