diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-30 12:43:49 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-30 12:43:49 +0200 |
| commit | ee76d81e0e7d8a76cd31bf0d01a532d248dca45a (patch) | |
| tree | fdce17a2651794b76c7958ccdf2029bc3e6dcfff /cfrontend/C2C.ml | |
| parent | c0757aa180c54ff61093e8079ef58b77775ba28e (diff) | |
| download | compcert-ee76d81e0e7d8a76cd31bf0d01a532d248dca45a.tar.gz compcert-ee76d81e0e7d8a76cd31bf0d01a532d248dca45a.zip | |
Fixed minor issue with parameters that get put on the stack, made
the code more robust and added indentation for convertCompositeDef
Diffstat (limited to 'cfrontend/C2C.ml')
| -rw-r--r-- | cfrontend/C2C.ml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml index 332665f4..bd281374 100644 --- a/cfrontend/C2C.ml +++ b/cfrontend/C2C.ml @@ -524,10 +524,12 @@ let convertField env f = (intern_string f.fld_name, convertTyp env f.fld_typ) let convertCompositedef env su id attr members = - let t = match su with C.Struct -> - let layout = Cutil.struct_layout env members in - List.iter (fun (a,b) -> Debug.set_member_offset id a b) layout; - TStruct (id,attr) | C.Union -> TUnion (id,attr) in + let t = match su with + | C.Struct -> + let layout = Cutil.struct_layout env members in + List.iter (fun (a,b) -> Debug.set_member_offset id a b) layout; + TStruct (id,attr) + | C.Union -> TUnion (id,attr) in Debug.set_composite_size id su (Cutil.sizeof env t); Composite(intern_string id.name, begin match su with C.Struct -> Struct | C.Union -> Union end, |