From 84cb73abe0f777521ee67cec2405c9593420d3da Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 17 Aug 2011 13:34:12 +0000
Subject: Factor out bind_lvalue

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1715 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cparser/StructAssign.ml | 19 -------------------
 1 file changed, 19 deletions(-)

(limited to 'cparser/StructAssign.ml')

diff --git a/cparser/StructAssign.ml b/cparser/StructAssign.ml
index a9c5091d..5c989a3a 100644
--- a/cparser/StructAssign.ml
+++ b/cparser/StructAssign.ml
@@ -93,25 +93,6 @@ let transf_assign env lhs rhs =
     else [e_lhs; e_rhs; e_size] in
   {edesc = ECall(memcpy, args); etyp = TVoid[]}
 
-(* Detect invariant l-values *)
-
-let rec invariant_lvalue env e =
-  match e.edesc with
-  | EVar _ -> true
-  | EUnop(Odot _, e1) -> invariant_lvalue env e1
-  | _ -> false
-
-(* Bind a l-value to a temporary variable if it is not invariant. *)
-
-let bind_lvalue env e fn =
-  if invariant_lvalue env e then
-    fn e
-  else begin
-    let tmp = new_temp (TPtr(e.etyp, [])) in
-    ecomma (eassign tmp (addrof e))
-           (fn {edesc = EUnop(Oderef, tmp); etyp = e.etyp})
-  end
-
 (* Transformation of expressions. *)
 
 type context = Val | Effects
-- 
cgit