From 7cde5744d5fa12c76f46bcd180ecfe0b4d00afb8 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 10 Feb 2012 10:23:43 +0000
Subject: Interp: help debug stuck expressions StructReturn: was building an
 ill-typed Ecomma expression Cutil: export "ecast"

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

(limited to 'cparser/StructReturn.ml')

diff --git a/cparser/StructReturn.ml b/cparser/StructReturn.ml
index 2a4bbc19..57246ce1 100644
--- a/cparser/StructReturn.ml
+++ b/cparser/StructReturn.ml
@@ -65,10 +65,7 @@ let rec transf_expr env ctx e =
     when is_composite_type env ty ->
       transf_composite_call env ctx (Some lhs) fn args ty
   | EBinop(Ocomma, e1, e2, ty) ->
-      {edesc = EBinop(Ocomma, transf_expr env Effects e1,
-                              transf_expr env ctx e2,
-                              transf_type env ty);
-       etyp = newty}
+      ecomma (transf_expr env Effects e1) (transf_expr env ctx e2)
   | EBinop(op, e1, e2, ty) ->
       {edesc = EBinop(op, transf_expr env Val e1,
                           transf_expr env Val e2,
-- 
cgit