method vvdec vi =
if Cil.isFunctionType vi.vtype && consider_function vi then begin
(* If this function is only declared, and has never been seen before,
we place it into the no_source table. Defined functions are dealt
with in vfunc method *)
if not (self#is_defined_function vi) &&
not (VInfoMap.mem vi !fundecl_calls)
then
self#add_map fundecl_calls vi 0;
end;
Cil.SkipChildren