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