From de0ae111b043a473d78b510364d9447cf54fed27 Mon Sep 17 00:00:00 2001 From: xleroy Date: Sat, 28 Dec 2013 09:47:40 +0000 Subject: Check in C2C that packed structs were properly emulated. PackedStructs.ml: remove "packed" attribute once processed. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2388 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cfrontend/C2C.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'cfrontend') diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml index 45ff80f..16c85ed 100644 --- a/cfrontend/C2C.ml +++ b/cfrontend/C2C.ml @@ -836,8 +836,10 @@ let convertGlobvar loc env (sto, id, ty, optinit) = let checkComposite env si id attr flds = let checkField f = if f.fld_bitfield <> None then - unsupported "bit field in struct or union (consider adding option -fbitfields)" - in List.iter checkField flds + unsupported "bit field in struct or union (consider adding option -fbitfields)" in + List.iter checkField flds; + if Cutil.find_custom_attributes ["packed";"__packed__"] attr <> [] then + unsupported "packed struct (consider adding option -fpacked-struct)" (** Convert a list of global declarations. Result is a list of CompCert C global declarations (functions + -- cgit v1.2.3