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