From 712f3cbae6bfd3c6f6cc40d44f438aa0affcd371 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 18 Dec 2012 07:54:35 +0000
Subject: Support for inline assembly (asm statements). cparser: add primitive
 support for enum types. bitfield emulation: for bitfields with enum type,
 choose signed/unsigned as appropriate

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

(limited to 'cparser/C.mli')

diff --git a/cparser/C.mli b/cparser/C.mli
index 8e73bc5..ce58504 100644
--- a/cparser/C.mli
+++ b/cparser/C.mli
@@ -150,6 +150,7 @@ type typ =
   | TNamed of ident * attributes
   | TStruct of ident * attributes
   | TUnion of ident * attributes
+  | TEnum of ident * attributes
 
 (** Expressions *)
 
@@ -187,6 +188,7 @@ and stmt_desc =
   | Sreturn of exp option
   | Sblock of stmt list
   | Sdecl of decl
+  | Sasm of string
 
 and slabel = 
   | Slabel of string
@@ -218,6 +220,10 @@ type struct_or_union =
   | Struct
   | Union
 
+(** Enumerator *)
+
+type enumerator = ident * int64 * exp option
+
 (** Function definitions *)
 
 type fundef = {
@@ -244,7 +250,8 @@ and globdecl_desc =
   | Gcompositedef of struct_or_union * ident * attributes * field list
                                         (* struct/union definition *)
   | Gtypedef of ident * typ             (* typedef *)
-  | Genumdef of ident * (ident * exp option) list  (* enum definition *)
+  | Genumdef of ident * attributes * enumerator list
+                                        (* enum definition *)
   | Gpragma of string                   (* #pragma directive *)
 
 type program = globdecl list
-- 
cgit v1.2.3