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 (Kstmt 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 = [] in
BuildPdg.process_jump pdg stmt controled_stmt;
state
in
BuildPdg.store_last_state pdg last_state