Searched defs:new_sval (Results 1 – 4 of 4) sorted by relevance
438 const svalue *new_sval = cd.get_or_create_conjured_svalue (base_reg); in impl_call_fgets() local452 const svalue *new_sval = cd.get_or_create_conjured_svalue (base_reg); in impl_call_fread() local
1428 const svalue *new_sval in purge_state_involving() local
1965 const svalue *new_sval in on_setjmp() local
6367 region_model::replace_svalue (svalue_id sid, svalue *new_sval) in replace_svalue()