let compute kf =
R.debug ~level:1 "computing for function %a" Kernel_function.pretty kf;
let f = Kernel_function.get_definition kf in
let do_stmt lmap s =
if Db.Value.is_reachable_stmt s then
match s.skind with
| Instr i -> register_modified_zones lmap s i
| _ -> lmap
else lmap
in
let f_datas = List.fold_left do_stmt InitSid.empty f.sallstmts in
R.debug ~level:2 "data init stmts : %a" InitSid.pretty f_datas;
f.sallstmts, f_datas