Searched defs:new_sid (Results 1 – 2 of 2) sorted by relevance
141 svalue_id new_sid = id_map.get_dst_for_src (sid); in clone_with_remapping() local1165 svalue_id new_sid, in add_sm_change()
4734 svalue_id new_sid = add_svalue (sval); in on_setjmp() local4742 svalue_id new_sid = get_or_create_constant_svalue (zero); in on_setjmp() local5979 svalue_id new_sid = add_svalue (new unknown_svalue (type)); in set_to_new_unknown_value() local