method vvrbl v =
if v.vglob && not (Hashtbl.mem used_variables v) then begin
debug "[sparecode:globs] add used var %s@." v.vname;
Hashtbl.add used_variables v ();
ignore (visitCilType (self:>Cil.cilVisitor) v.vtype);
try
let init = Hashtbl.find var_init v in
ignore (visitCilInit (self:>Cil.cilVisitor) v NoOffset init)
with Not_found -> ()
end;
DoChildren