From 034eff1d4d4f168008cded71b73bd39066b97997 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Mon, 24 Feb 2020 15:56:16 +0100 Subject: begin implementing thread_local storage --- cparser/C.mli | 3 +++ 1 file changed, 3 insertions(+) (limited to 'cparser/C.mli') 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 -- cgit