diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-31 11:12:13 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-31 11:12:13 +0200 |
commit | 13f5abe2a0d38e726249b66be574c82a96fec6e4 (patch) | |
tree | ae37a38c5629405a65f7af88eff231cddab34e5f | |
parent | b3e25b456f8e853b2380ede8edd6a9b7e688b780 (diff) | |
download | compcert-13f5abe2a0d38e726249b66be574c82a96fec6e4.tar.gz compcert-13f5abe2a0d38e726249b66be574c82a96fec6e4.zip |
Readded warning about ignored volatile. Bug 18004
-rw-r--r-- | cfrontend/C2C.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml index 952d59e7..d7b26322 100644 --- a/cfrontend/C2C.ml +++ b/cfrontend/C2C.ml @@ -717,7 +717,7 @@ let rec convertExpr env e = let e2' = convertExpr env e2 in if Cutil.is_composite_type env e1.etyp && List.mem AVolatile (Cutil.attributes_of_type env e1.etyp) then - warning Cerrors.Unnamed "assignment to an lvalue of volatile composite type"; + warning Cerrors.Unnamed "assignment to an lvalue of volatile composite type, the 'volatile' qualifier is ignored"; ewrap (Ctyping.eassign e1' e2') | C.EBinop((C.Oadd_assign|C.Osub_assign|C.Omul_assign|C.Odiv_assign| C.Omod_assign|C.Oand_assign|C.Oor_assign|C.Oxor_assign| |