From 58cf861123b8070d33d6b99d0907d99820646a16 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 21 Feb 2014 09:29:24 +0000
Subject: Wrong type used for transforming lval = f(...)

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2413 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cparser/StructReturn.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cparser')

diff --git a/cparser/StructReturn.ml b/cparser/StructReturn.ml
index 647e27a..91d5f4f 100644
--- a/cparser/StructReturn.ml
+++ b/cparser/StructReturn.ml
@@ -97,7 +97,7 @@ let rec transf_expr env ctx e =
       {edesc = EVar x; etyp = newty}
   | EUnop(op, e1) ->
       {edesc = EUnop(op, transf_expr env Val e1); etyp = newty}
-  | EBinop(Oassign, lhs, {edesc = ECall(fn, args)}, ty) ->
+  | EBinop(Oassign, lhs, {edesc = ECall(fn, args); etyp = ty}, _) ->
       transf_call env ctx (Some lhs) fn args ty
   | EBinop(Ocomma, e1, e2, ty) ->
       ecomma (transf_expr env Effects e1) (transf_expr env ctx e2)
-- 
cgit v1.2.3