diff options
| author |  xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-11-10 09:53:15 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-11-10 09:53:15 +0000 |
| commit | 26bb5772c75efe1e4617fb9c4f2b8522989fac6d (patch) | |
| tree | 0d26172244e2883c88ceb8e61114b36817c7796e /cfrontend | |
| parent | 24d6e879c5636209fcbcc3fac6980bffade959e8 (diff) | |
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
Diffstat (limited to 'cfrontend')
| -rw-r--r-- | cfrontend/C2C.ml | 4 |
1 files changed, 0 insertions, 4 deletions
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), _)) -> |