diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-02-24 16:16:51 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-02-24 16:16:51 +0100 |
commit | 26d2601818c387a540a7d89aec1363981f601b7e (patch) | |
tree | 1dcaf9c6a44176e2a9753df6c0cbe452b7b97424 /test/monniaux/thread_local | |
parent | 9d4d852eb960926453f216722f629d3c8dc9cf13 (diff) | |
download | compcert-kvx-26d2601818c387a540a7d89aec1363981f601b7e.tar.gz compcert-kvx-26d2601818c387a540a7d89aec1363981f601b7e.zip |
seems to process _Thread_local but not till backend
Diffstat (limited to 'test/monniaux/thread_local')
-rw-r--r-- | test/monniaux/thread_local/thread_local.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/monniaux/thread_local/thread_local.c b/test/monniaux/thread_local/thread_local.c index 0c50f216..48f9d99a 100644 --- a/test/monniaux/thread_local/thread_local.c +++ b/test/monniaux/thread_local/thread_local.c @@ -1 +1,2 @@ _Thread_local int toto; +int toto2; |