let add_retres pdg state ret_stmt retres_loc_dpds retres_decls =
let key_return = Key.stmt_key ret_stmt in
let return_node = add_elem pdg key_return in
let retres_loc = Db.Value.find_return_loc (get_kf pdg) in
let retres = Locations.valid_enumerate_bits retres_loc in
let _ = add_dpds pdg return_node Dpd.Data state retres_loc_dpds in
let _ = add_decl_dpds pdg return_node Dpd.Data retres_decls in
let new_state = State.add_loc_node state true retres return_node in
let _ = create_fun_output_node pdg (Some new_state) retres in
new_state