diff options
Diffstat (limited to 'cparser/Bitfields.ml')
-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 27d58957..dea1862c 100644 --- a/cparser/Bitfields.ml +++ b/cparser/Bitfields.ml @@ -64,7 +64,7 @@ let pack_bitfields env id ml = | Some n -> if n = 0 then (pos, accu, ms) (* bit width 0 means end of pack *) - else if pos + n >= 8 * !config.sizeof_int then + else if pos + n > 8 * !config.sizeof_int then (pos, accu, ml) (* doesn't fit in current word *) else begin let signed = |