diff options
Diffstat (limited to 'cparser')
| -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 d09c1fe..71404b2 100644 --- a/cparser/Bitfields.ml +++ b/cparser/Bitfields.ml @@ -237,7 +237,7 @@ let rec is_bitfield_access env e = end | EUnop(Oarrow fieldname, e1) -> begin match unroll env e1.etyp with - | TPtr(ty, _) -> + | TPtr(ty, _) | TArray(ty, _, _) -> is_bitfield_access env {edesc = EUnop(Odot fieldname, {edesc = EUnop(Oderef, e1); etyp = ty}); |