diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-07 17:50:55 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-07 17:50:55 +0200 |
| commit | a28cb16aeb266fd41c0ce2ddbe0a0d8d2cbf20de (patch) | |
| tree | db93813fea34db3acecd7d628bd09ebdc81a5180 /cparser/Cutil.ml | |
| parent | 437ac77449d759469ab4d5c8e0f37b80c0ad6e31 (diff) | |
| download | compcert-a28cb16aeb266fd41c0ce2ddbe0a0d8d2cbf20de.tar.gz compcert-a28cb16aeb266fd41c0ce2ddbe0a0d8d2cbf20de.zip | |
Diab defines w_char to be unsigned short.
Diffstat (limited to 'cparser/Cutil.ml')
| -rw-r--r-- | cparser/Cutil.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/cparser/Cutil.ml b/cparser/Cutil.ml index 221bd7cc..a3c05c34 100644 --- a/cparser/Cutil.ml +++ b/cparser/Cutil.ml @@ -721,7 +721,8 @@ let type_of_member env fld = let find_matching_unsigned_ikind sz = assert (sz > 0); - if sz = !config.sizeof_int then IUInt + if sz = !config.sizeof_short then IUShort + else if sz = !config.sizeof_int then IUInt else if sz = !config.sizeof_long then IULong else if sz = !config.sizeof_longlong then IULongLong else assert false |