Searched refs:init_sval (Results 1 – 5 of 5) sorted by relevance
104 const initial_svalue *init_sval in init_cluster() local106 const region *init_sval_reg = init_sval->get_region (); in init_cluster()
398 if (const initial_svalue *init_sval = sval->dyn_cast_initial_svalue ()) in get_state() local400 const region *reg = init_sval->get_region (); in get_state()626 if (const initial_svalue *init_sval = sval->dyn_cast_initial_svalue ()) in on_unknown_change() local629 const region *changed_reg = init_sval->get_region (); in on_unknown_change()
836 if (const initial_svalue *init_sval in maybe_fold_sub_svalue() local846 = get_field_region (init_sval->get_region (), in maybe_fold_sub_svalue()857 = get_element_region (init_sval->get_region (), in maybe_fold_sub_svalue()
2897 if (const initial_svalue *init_sval = sval->dyn_cast_initial_svalue ()) in get_representative_path_vars() local2899 const region *reg = init_sval->get_region (); in get_representative_path_vars()
2414 const svalue *init_sval = mgr->get_or_create_initial_value (param_reg); in mark_params_as_tainted() local2415 smap->set_state (state->m_region_model, init_sval, in mark_params_as_tainted()2419 const region *pointee_reg = mgr->get_symbolic_region (init_sval); in mark_params_as_tainted()