let process_condition ctrl_dpds_infos pdg state stmt condition =
let loc_cond = !Db.From.find_deps_no_transitivity stmt condition in
let decls_cond = Cil.extract_varinfos_from_exp condition in
let controled_stmts = CtrlDpds.get_if_controled_stmts ctrl_dpds_infos stmt in
let go_then, go_else = Db.Value.condition_truth_value stmt in
let real = go_then && go_else in
if not real then
debug
"[process_condition] stmt %d is not a real cond (never goes in '%s')@."
stmt.sid (if go_then then "else" else "then");
BuildPdg.process_jump_with_exp pdg stmt (real, controled_stmts)
state loc_cond decls_cond