From f45d0c79bc220fc5dbbf7a59b5d100d16726f1ec Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 30 Mar 2014 07:33:55 +0000
Subject: "->" can also be applied to array types, not just pointer types.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2442 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cparser/Bitfields.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cparser')

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});
-- 
cgit v1.2.3