Ignore intermediate ignored types in access offsets

Author: sim642

src/domains/access.ml

@@ -195,7 +195,10 @@ let add_struct side (e:exp) (w:bool) (conf:int) (ty:acc_typ) (lv: (varinfo * off
     match unrollType ty with
     | TComp (ci,_)   ->
       let one_field fld =
-        List.map (fun x -> `Field (fld,x)) (dist_fields fld.ftype)
+        if is_ignorable_type fld.ftype then
+          []
+        else
+          List.map (fun x -> `Field (fld,x)) (dist_fields fld.ftype)
       in
       List.concat_map one_field ci.cfields
     | TArray (t,_,_) ->