method vstmt s =
self#incr_both_metrics (self#incr_slocs);
begin
match s.skind with
| If _ ->
(self#incr_both_metrics (self#incr_ifs);
self#incr_both_metrics (self#incr_dpoints);)
| Loop _ -> self#incr_both_metrics (self#incr_loops);
| Goto _ -> self#incr_both_metrics (self#incr_gotos);
| Return _ -> self#incr_both_metrics (self#incr_exits);
| Switch (_, _, _slist, _) -> ()
| TryFinally _
| TryExcept _ -> self#incr_both_metrics (self#incr_dpoints);
| _ -> ()
end;
let rec has_case_label labels =
match labels with
| (Case _) :: _->
self#incr_both_metrics (self#incr_dpoints);
| _ :: labels -> has_case_label labels
| [] -> ()
in has_case_label s.labels;
Cil.DoChildren