From fe8baff11737d3785ff51d20ace9ab31665cd295 Mon Sep 17 00:00:00 2001 From: xleroy Date: Thu, 12 May 2011 09:41:09 +0000 Subject: cparser: support for attributes over struct and union. cparser: added experimental emulation of packed structs (PackedStruct.ml) git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1650 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cparser/C.mli | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'cparser/C.mli') diff --git a/cparser/C.mli b/cparser/C.mli index 9d5a7d73..35e872d3 100644 --- a/cparser/C.mli +++ b/cparser/C.mli @@ -231,8 +231,9 @@ type globdecl = and globdecl_desc = | Gdecl of decl (* variable declaration, function prototype *) | Gfundef of fundef (* function definition *) - | Gcompositedecl of struct_or_union * ident (* struct/union declaration *) - | Gcompositedef of struct_or_union * ident * field list + | Gcompositedecl of struct_or_union * ident * attributes + (* struct/union declaration *) + | 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 *) -- cgit