let process_return _current_function pdg state stmt ret_exp =
let last_state =
match ret_exp with
| Some exp ->
let loc_exp = !Db.From.find_deps_no_transitivity stmt exp in
let decls_exp = Cil.extract_varinfos_from_exp exp in
BuildPdg.add_retres pdg state stmt loc_exp decls_exp
| None ->
let controled_stmt = Cil_datatype.Stmt.Hptset.empty in
let real = Db.Value.is_reachable_stmt stmt in
BuildPdg.process_jump pdg stmt (real, controled_stmt);
state
in
if Db.Value.is_reachable_stmt stmt then
BuildPdg.store_last_state pdg last_state