From ba21b0ae95189f2d40cca38c502c1ca583a0e1bb Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Mon, 24 Feb 2020 14:31:06 +0100
Subject: parse _Thread_local

---
 cparser/Elab.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'cparser/Elab.ml')

diff --git a/cparser/Elab.ml b/cparser/Elab.ml
index 3dbb9d45..b76a61cb 100644
--- a/cparser/Elab.ml
+++ b/cparser/Elab.ml
@@ -626,6 +626,7 @@ let rec elab_specifier ?(only = false) loc env specifier =
        - a set of attributes (const, volatile, restrict)
        - a list of type specifiers *)
   let sto = ref Storage_default
+  and thread_local = ref false
   and inline = ref false
   and noreturn = ref false
   and restrict = ref false
@@ -645,6 +646,7 @@ let rec elab_specifier ?(only = false) loc env specifier =
       | STATIC -> sto := Storage_static
       | EXTERN -> sto := Storage_extern
       | REGISTER -> sto := Storage_register
+      | THREAD_LOCAL -> thread_local := true
       | TYPEDEF ->
           if !typedef then
             error loc "multiple uses of 'typedef'";
-- 
cgit