method vinst i =
begin match i with
| Call(_, e, _, _) ->
calls <- calls + 1;
(match e.enode with
| Lval(Var v, NoOffset) ->
let next tbl =
VarinfoHashtbl.replace tbl v (succ (VarinfoHashtbl.find tbl v))
in begin
try next functions_with_source
with Not_found ->
try next functions_no_source
with Not_found ->
Metrics_parameters.fatal "Got no source for %s" v.vname
end
| _ -> ())
| Set _ -> assigns <- succ assigns
| _ -> ()
end;
DoChildren