From c838d3368f840ca35a638f8e8f6379fbf9606783 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 8 Jul 2010 09:15:23 +0000
Subject: Preliminary support for gcc-style __attribute__ over types

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1377 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cparser/C.mli | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(limited to 'cparser/C.mli')

diff --git a/cparser/C.mli b/cparser/C.mli
index d477acda..9d5a7d73 100644
--- a/cparser/C.mli
+++ b/cparser/C.mli
@@ -61,7 +61,16 @@ type constant =
 
 (** Attributes *)
 
-type attribute = AConst | AVolatile | ARestrict
+type attr_arg =
+  | AIdent of string
+  | AInt of int64
+  | AString of string
+
+type attribute = 
+  | AConst
+  | AVolatile
+  | ARestrict
+  | Attr of string * attr_arg list
 
 type attributes = attribute list
 
-- 
cgit