method vglob_aux = function
| GCompTag (compinfo,_) ->
let field fi =
if isStructOrUnionType fi.ftype then
fi.ftype <- mkTRef fi.ftype
else if isArrayType fi.ftype then
begin
FieldinfoHashtbl.replace field_to_array_type fi fi.ftype;
if not !flatten_multi_dim_array then
fi.ftype <- reference_of_array fi.ftype
else
let size = constant_expr (array_size fi.ftype) in
fi.ftype <- mkTRefArray(element_type fi.ftype,size,[])
end
in
List.iter field compinfo.cfields;
SkipChildren
| GFun _ | GAnnot _ | GVar _ | GVarDecl _ -> DoChildren
| GType _ | GCompTagDecl _ | GEnumTagDecl _
| GEnumTag _ | GAsm _ | GPragma _ | GText _ -> SkipChildren