diff options
Diffstat (limited to 'cparser/StructReturn.ml')
| -rw-r--r-- | cparser/StructReturn.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/cparser/StructReturn.ml b/cparser/StructReturn.ml index 5e5602f3..2c6fd1d2 100644 --- a/cparser/StructReturn.ml +++ b/cparser/StructReturn.ml @@ -71,7 +71,7 @@ let classify_param env ty = | SP_ref_caller -> Param_ref_caller | _ -> match sizeof env ty, alignof env ty with - | Some sz, Some al -> + | Some sz, Some al -> Param_flattened ((sz + 3) / 4, sz, al) | _, _ -> Param_unchanged (* should not happen *) @@ -306,7 +306,7 @@ let rec transf_expr env ctx e = We used to do a copy optimization: ctx = Effects: lv = f(...) -> f(&lv, ...) - but it is not correct in case of overlap (see test/regression/struct12.c) + but it is not correct in case of overlap (see test/regression/struct12.c) Function calls returning a composite by value: ctx = Effects: lv = f(...) -> newtemp = f(...), lv = newtemp @@ -521,8 +521,8 @@ let rec transf_funparams loc env params = let tpx = TPtr(tx', []) in let ex = { edesc = EVar x; etyp = tpx } in let estarx = { edesc = EUnop(Oderef, ex); etyp = tx' } in - ((x, tpx) :: params', - actions, + ((x, tpx) :: params', + actions, IdentMap.add x estarx subst) | Param_flattened(n, sz, al) -> let y = new_temp ~name:x.name (ty_buffer n) in @@ -562,7 +562,7 @@ let transf_fundef env f = | Ret_value(ty, sz, al) -> (f.fd_attrib, ty, - params, + params, transf_funbody env (subst_stmt subst f.fd_body) None) in let temps = get_temps() in {f with fd_attrib = attr1; |