diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-31 12:25:30 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-31 12:25:30 +0200 |
commit | da89ecda07222548df2dd47332be56dc9de49162 (patch) | |
tree | 55a943612b0a507e756f188521629cda1152c457 | |
parent | a0924753089854930e77b0d4c26944a66250d42c (diff) | |
download | compcert-da89ecda07222548df2dd47332be56dc9de49162.tar.gz compcert-da89ecda07222548df2dd47332be56dc9de49162.zip |
Restored original bit-field warning. Bug 18004
-rw-r--r-- | cparser/Bitfields.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Bitfields.ml b/cparser/Bitfields.ml index 4ff4b94c..9f38abc6 100644 --- a/cparser/Bitfields.ml +++ b/cparser/Bitfields.ml @@ -67,7 +67,7 @@ let is_signed_enum_bitfield env sid fld eid n = else if List.for_all (fun (_, v, _) -> int_representable v n true) info.Env.ei_members then true else begin - Cerrors.warning Cutil.no_loc Cerrors.Unnamed "warning: '%s' is narrower than values of its type" fld; + Cerrors.warning Cutil.no_loc Cerrors.Unnamed "not all values of type 'enum %s' can be represented in bit-field '%s' of struct '%s' (%d bits are not enough)" eid.name fld sid.C.name n; false end |