method vglob_aux =
let retype_return v =
let retyp = getReturnType v.vtype in
let newtyp = visitFramacType (self:>frama_c_visitor) retyp in
if newtyp != retyp then setReturnTypeVI v newtyp
in
function
| GType (typeinfo, _) ->
ignore (self#wrap_type_if_needed (TNamed (typeinfo, [])));
SkipChildren
| GCompTag (compinfo, _) ->
ignore (self#wrap_type_if_needed (TComp (compinfo, empty_size_cache (), [])));
SkipChildren
| GFun (f, _) ->
retype_return f.svar;
DoChildren
| GVarDecl (_, v, _) ->
if isFunctionType v.vtype && not v.vdefined then
retype_return v;
DoChildren
| GVar _
| GAnnot _ -> DoChildren
| GCompTagDecl _ | GEnumTag _ | GEnumTagDecl _
| GAsm _ | GPragma _ | GText _ -> SkipChildren