Searched refs:get_or_create_initial_value (Results 1 – 7 of 7) sorted by relevance
297 region_model_manager::get_or_create_initial_value (const region *reg) in get_or_create_initial_value() function in ana::region_model_manager308 get_or_create_initial_value (original_reg)); in get_or_create_initial_value()848 return get_or_create_initial_value (field_reg_new); in maybe_fold_sub_svalue()860 return get_or_create_initial_value (element_reg_new); in maybe_fold_sub_svalue()1087 = get_or_create_initial_value (element_reg); in maybe_fold_bits_within_svalue()1113 = get_or_create_initial_value (field_reg); in maybe_fold_bits_within_svalue()
2415 return m_mgr->get_or_create_initial_value (reg); in get_initial_value_for_global()2479 return m_mgr->get_or_create_initial_value (reg); in get_store_value()3931 = m_mgr->get_or_create_initial_value (param_reg); in on_top_level_param()4910 ASSERT_EQ (x_init, mgr.get_or_create_initial_value (x_reg)); in test_initial_svalue_folding()4928 ASSERT_EQ (x_init, mgr.get_or_create_initial_value (x_reg)); in test_unaryop_svalue_folding()5391 const svalue *sval_n = mgr.get_or_create_initial_value (parm_n_reg); in test_get_representative_path_var()6448 const svalue *init_star_p = mgr.get_or_create_initial_value (star_p_reg); in test_involves_p()6449 const svalue *init_star_q = mgr.get_or_create_initial_value (star_q_reg); in test_involves_p()
256 const svalue *get_or_create_initial_value (const region *reg);
407 = mgr->get_or_create_initial_value (parent_reg); in get_state()
2414 const svalue *init_sval = mgr->get_or_create_initial_value (param_reg); in mark_params_as_tainted()2422 = mgr->get_or_create_initial_value (pointee_reg); in mark_params_as_tainted()
1607 default_sval = sval_mgr->get_or_create_initial_value (reg); in maybe_get_compound_binding()
1998 (region_model_manager::get_or_create_initial_value): Return an3165 (region_model_manager::get_or_create_initial_value):