From 6ceceaed3d71a785fa1cccc1059c9a141e99eee1 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 22 Aug 2011 08:25:44 +0000
Subject: arm/PrintAsm: don't generate "vfd" directive, useless? cparser:
 distinguish more carefully between lvalues and modifiable lvalues.

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

(limited to 'cparser/SimplExpr.ml')

diff --git a/cparser/SimplExpr.ml b/cparser/SimplExpr.ml
index 330b1841..4184d954 100644
--- a/cparser/SimplExpr.ml
+++ b/cparser/SimplExpr.ml
@@ -106,7 +106,7 @@ let simpl_expr loc env e act =
   let is_volatile_read e =
     !volatilize
     && List.mem AVolatile (attributes_of_type env e.etyp)
-    && is_lvalue env e in
+    && is_lvalue e in
 
   let lhs_to_rhs e =
     if is_volatile_read e
-- 
cgit