Refactor the classification of attributes

Introduce Cutil.class_of_attribute to return the class of the given attribute: one among
Attr_type  attribute related to types  (e.g. "aligned")
Attr_struct attribute related to struct/union/enum types (e.g. "packed")
Attr_function attribute related to function types (e.g. "noreturn")
Attr_name  attribute related to variable and function declarations (e.g. "section")
Attr_unknown  attribute was not declared

Cutil.declare_attribute is used to associate a class to a custom attribute.
Standard attributes (const, volatile, _Alignas, etc) are Attr_type.

cfronted/C2C.ml: declare the few attributes that CompCert honors currently.
cparser/GCC.ml: a bigger list of attributes taken from GCC, for reference only.

1 files changed, 23 insertions, 1 deletions

diff --git a/cparser/GCC.ml b/cparser/GCC.ml
index f7f64a4e..010d12f3 100644
--- a/cparser/GCC.ml
+++ b/cparser/GCC.ml
@@ -13,7 +13,7 @@
 (*                                                                     *)
 (* *********************************************************************)
 
-(* GCC built-ins *)
+(* GCC built-ins and attributes *)
 
 open C
 open Cutil
@@ -221,3 +221,25 @@ let builtins = {
   "__builtin_va_copy",  (voidType, [ voidPtrType; voidPtrType ], false)
 ]
 }
+
+let attributes = [ (* a subset of those of GCC 5 *)
+  (* type-related *)
+  ("aligned", Attr_type); ("may_alias", Attr_type); ("visibility", Attr_type);
+  (* struct-related *)
+  ("packed", Attr_struct); ("designated_init", Attr_struct);
+  (* function-related *)
+  ("cdecl", Attr_function); ("stdcall", Attr_function);
+  ("fastcall", Attr_function); ("thiscall", Attr_function);
+  ("const", Attr_function); ("noreturn", Attr_name);
+  (* name-related *)
+  ("cleanup", Attr_name); ("common", Attr_name); ("nocommon", Attr_name);
+  ("deprecated", Attr_name); ("section", Attr_name);
+  ("shared", Attr_name); ("tls_model", Attr_name); ("unused", Attr_name);
+  ("used", Attr_name); ("weak", Attr_name);
+  ("dllimport", Attr_name); ("dllexport", Attr_name);
+  ("alway_inline", Attr_name); ("gnu_inline", Attr_name);
+  ("artificial", Attr_name); ("flatten", Attr_name);
+  ("error", Attr_name); ("warning", Attr_name);
+  ("constructor", Attr_name); ("destructor", Attr_name);
+  ("externally_visible", Attr_name); ("interrupt", Attr_name)
+]