diff options
Diffstat (limited to 'cfrontend')
-rw-r--r-- | cfrontend/C2C.ml | 8 | ||||
-rw-r--r-- | cfrontend/Cparser.mlpack | 1 |
2 files changed, 5 insertions, 4 deletions
diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml index 1ee63b85..98384fa8 100644 --- a/cfrontend/C2C.ml +++ b/cfrontend/C2C.ml @@ -887,10 +887,10 @@ let rec translEnv env = function | g :: gl -> let env' = match g.gdesc with - | C.Gcompositedecl(su, id) -> - Env.add_composite env id (Cutil.composite_info_decl env su) - | C.Gcompositedef(su, id, fld) -> - Env.add_composite env id (Cutil.composite_info_def env su fld) + | C.Gcompositedecl(su, id, attr) -> + Env.add_composite env id (Cutil.composite_info_decl env su attr) + | C.Gcompositedef(su, id, attr, fld) -> + Env.add_composite env id (Cutil.composite_info_def env su attr fld) | C.Gtypedef(id, ty) -> Env.add_typedef env id ty | _ -> diff --git a/cfrontend/Cparser.mlpack b/cfrontend/Cparser.mlpack index 410d7b28..291b551a 100644 --- a/cfrontend/Cparser.mlpack +++ b/cfrontend/Cparser.mlpack @@ -21,5 +21,6 @@ cparser/AddCasts cparser/StructByValue cparser/StructAssign cparser/Bitfields +cparser/PackedStructs cparser/Parse |