From 26bb5772c75efe1e4617fb9c4f2b8522989fac6d Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 10 Nov 2013 09:53:15 +0000
Subject: Suppress warning on derefering volatile composites, because of false
 positives.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2365 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cfrontend/C2C.ml | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'cfrontend')

diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml
index 8083535..3890985 100644
--- a/cfrontend/C2C.ml
+++ b/cfrontend/C2C.ml
@@ -436,10 +436,6 @@ let rec convertExpr env e =
   | C.EUnop((C.Oderef|C.Odot _|C.Oarrow _), _)
   | C.EBinop(C.Oindex, _, _, _) ->
       let l = convertLvalue env e in
-      if Cutil.is_composite_type env e.etyp
-      && List.mem AVolatile (Cutil.attributes_of_type env e.etyp) then
-        warning "access to a l-value of volatile composite type. \
-                 The 'volatile' qualifier is ignored.";
       Evalof(l, ty)
 
   | C.EConst(C.CInt(i, (ILongLong|IULongLong), _)) ->
-- 
cgit v1.2.3