aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/C.mli
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2020-02-24 15:56:16 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2020-02-24 15:56:16 +0100
commit034eff1d4d4f168008cded71b73bd39066b97997 (patch)
treed718cf295f51a81a5d7bc2b182f8a9cbbfb77089 /cparser/C.mli
parentba21b0ae95189f2d40cca38c502c1ca583a0e1bb (diff)
downloadcompcert-kvx-034eff1d4d4f168008cded71b73bd39066b97997.tar.gz
compcert-kvx-034eff1d4d4f168008cded71b73bd39066b97997.zip
begin implementing thread_local storage
Diffstat (limited to 'cparser/C.mli')
-rw-r--r--cparser/C.mli3
1 files changed, 3 insertions, 0 deletions
diff --git a/cparser/C.mli b/cparser/C.mli
index 15717565..3c271f3f 100644
--- a/cparser/C.mli
+++ b/cparser/C.mli
@@ -86,8 +86,11 @@ type attributes = attribute list
type storage =
| Storage_default (* used for toplevel names without explicit storage *)
+ | Storage_thread_local
| Storage_extern
| Storage_static
+ | Storage_thread_local_extern
+ | Storage_thread_local_static
| Storage_auto (* used for block-scoped names without explicit storage *)
| Storage_register