aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/thread_local
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2020-02-24 16:33:06 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2020-02-24 16:33:06 +0100
commitf64f6374c4b9db9f1111f272d842a625f0507ae6 (patch)
tree2d37f9896459d286cba7660f4d5d7504deb636c7 /test/monniaux/thread_local
parent26d2601818c387a540a7d89aec1363981f601b7e (diff)
downloadcompcert-kvx-f64f6374c4b9db9f1111f272d842a625f0507ae6.tar.gz
compcert-kvx-f64f6374c4b9db9f1111f272d842a625f0507ae6.zip
it now works, no more ugly hack to access thread local data
Diffstat (limited to 'test/monniaux/thread_local')
-rw-r--r--test/monniaux/thread_local/thread_local.c4
1 files changed, 4 insertions, 0 deletions
diff --git a/test/monniaux/thread_local/thread_local.c b/test/monniaux/thread_local/thread_local.c
index 48f9d99a..824c8543 100644
--- a/test/monniaux/thread_local/thread_local.c
+++ b/test/monniaux/thread_local/thread_local.c
@@ -1,2 +1,6 @@
_Thread_local int toto;
int toto2;
+
+int foobar(void) {
+ return toto;
+}