method vglob_aux = function
| GCompTag (compinfo,_) ->
let fields = compinfo.cfields in
let field fi =
if FieldinfoHashtbl.mem cast_field_to_type fi then
fi.ftype <- TPtr(!Common.struct_type_for_void,[])
in
List.iter field fields;
DoChildren
| _ -> DoChildren