diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-02-24 15:56:16 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-02-24 15:56:16 +0100 |
commit | 034eff1d4d4f168008cded71b73bd39066b97997 (patch) | |
tree | d718cf295f51a81a5d7bc2b182f8a9cbbfb77089 /cparser/C.mli | |
parent | ba21b0ae95189f2d40cca38c502c1ca583a0e1bb (diff) | |
download | compcert-kvx-034eff1d4d4f168008cded71b73bd39066b97997.tar.gz compcert-kvx-034eff1d4d4f168008cded71b73bd39066b97997.zip |
begin implementing thread_local storage
Diffstat (limited to 'cparser/C.mli')
-rw-r--r-- | cparser/C.mli | 3 |
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 |