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 ~for_writing:false
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 = Pdg_state.add_loc_node state true retres return_node in
let _ = create_fun_output_node pdg (Some new_state) retres in
new_state