Lines Matching refs:svalue
167 svalue *svalue = m_model->get_svalue (sid); in maybe_get_constant() local
168 return svalue->maybe_get_constant (); in maybe_get_constant()
270 svalue::operator== (const svalue &other) const in operator ==()
336 svalue::hash () const in hash()
348 svalue::print (const region_model &model, in print()
372 svalue::dump_dot_to_pp (const region_model &model, in dump_dot_to_pp()
390 svalue::remap_region_ids (const region_id_map &) in remap_region_ids()
398 svalue::walk_for_canonicalization (canonicalization *) const in walk_for_canonicalization()
406 svalue::get_child_sid (region *parent ATTRIBUTE_UNUSED, in get_child_sid()
411 svalue *new_child_value = clone (); in get_child_sid()
422 svalue::maybe_get_constant () const in maybe_get_constant()
473 svalue::dump_dot_to_pp (model, this_sid, pp); in dump_dot_to_pp()
522 svalue *merged_sval = new unknown_svalue (type); in merge_values()
581 svalue *merged_sval = new unknown_svalue (type); in merge_values()
675 svalue *merged_sval; in merge_values()
745 svalue *unknown_sval = new unknown_svalue (child->get_type ()); in get_child_sid()
1025 svalue *sval = model.get_svalue (rhs_sid); in set_value()
1213 svalue *this_value = model.get_svalue (m_sval_id); in get_inherited_child_sid()
2355 svalue *index_sval = model->get_svalue (index_sid); in get_element()
3481 svalue *svalue; in region_model() local
3482 FOR_EACH_VEC_ELT (other.m_svalues, i, svalue) in region_model()
3483 m_svalues.quick_push (svalue->clone ()); in region_model()
3505 svalue *svalue; in operator =() local
3509 FOR_EACH_VEC_ELT (m_svalues, i, svalue) in operator =()
3510 delete svalue; in operator =()
3521 FOR_EACH_VEC_ELT (other.m_svalues, i, svalue) in operator =()
3522 m_svalues.quick_push (svalue->clone ()); in operator =()
3557 svalue *svalue; in operator ==() local
3558 FOR_EACH_VEC_ELT (other.m_svalues, i, svalue) in operator ==()
3580 svalue *svalue; in hash() local
3581 FOR_EACH_VEC_ELT (m_svalues, i, svalue) in hash()
3582 result ^= svalue->hash (); in hash()
3602 svalue *svalue; in print() local
3603 FOR_EACH_VEC_ELT (m_svalues, i, svalue) in print()
3653 svalue *svalue; in dump_dot_to_pp() local
3654 FOR_EACH_VEC_ELT (m_svalues, i, svalue) in dump_dot_to_pp()
3655 svalue->dump_dot_to_pp (*this, svalue_id::from_int (i), pp); in dump_dot_to_pp()
3774 svalue *svalue; in dump_to_pp() local
3775 FOR_EACH_VEC_ELT (m_svalues, i, svalue) in dump_to_pp()
3868 svalue *sval = get_svalue (sid); in dump_summary_of_rep_path_vars()
3953 const svalue &sval1 in svalue_id_cmp_by_constant_svalue()
3955 const svalue &sval2 in svalue_id_cmp_by_constant_svalue()
3983 svalue *sval; in canonicalize()
4009 svalue *sval; in canonicalize()
4119 svalue *expr_svalue = get_svalue (expr_sid); in check_for_poison()
4499 svalue *ptr_sval = get_svalue (ptr_sid); in on_call_post()
4561 svalue *sval = m_model->get_svalue (sid); in add()
4645 svalue *parm_sval = get_svalue (parm_sid); in handle_unrecognized_call()
4690 svalue *svalue; in handle_unrecognized_call() local
4691 FOR_EACH_VEC_ELT (m_svalues, i, svalue) in handle_unrecognized_call()
4692 if (region_svalue *ptr = svalue->dyn_cast_region_svalue ()) in handle_unrecognized_call()
4733 svalue *sval = new setjmp_svalue (r, buf->get_type ()); in on_setjmp()
5057 svalue *unknown_sval = new unknown_svalue (TREE_TYPE (pv.m_tree)); in get_rvalue_1()
5137 svalue *svalue; in get_or_create_ptr_svalue() local
5138 FOR_EACH_VEC_ELT (m_svalues, i, svalue) in get_or_create_ptr_svalue()
5139 if (region_svalue *ptr_svalue = svalue->dyn_cast_region_svalue ()) in get_or_create_ptr_svalue()
5160 svalue *svalue; in get_or_create_constant_svalue() local
5161 FOR_EACH_VEC_ELT (m_svalues, i, svalue) in get_or_create_constant_svalue()
5162 if (svalue->maybe_get_constant () == cst_expr) in get_or_create_constant_svalue()
5284 svalue *sval = get_svalue (sid); in maybe_cast_1()
5307 svalue *equiv_val = get_svalue (*equiv_sid); in maybe_cast_1()
5313 svalue *unknown_sval = new unknown_svalue (dst_type); in maybe_cast_1()
5329 svalue *unknown_sval = new unknown_svalue (dst_type); in maybe_cast_1()
5396 svalue *ptr_svalue = get_svalue (ptr_sid); in deref_rvalue()
5439 svalue *ptr_val in deref_rvalue()
5496 svalue *lhs = get_svalue (lhs_sid); in eval_condition()
5497 svalue *rhs = get_svalue (rhs_sid); in eval_condition()
5526 svalue *lhs = get_svalue (lhs_sid); in eval_condition_without_cm()
5527 svalue *rhs = get_svalue (rhs_sid); in eval_condition_without_cm()
5818 svalue *sval = get_svalue (sid); in maybe_get_constant()
5855 svalue *sval = get_svalue (sid); in get_representative_tree()
5947 if (svalue *sval = get_svalue (sid)) in get_representative_path_var()
6353 region_model::add_svalue (svalue *sval) in add_svalue()
6367 region_model::replace_svalue (svalue_id sid, svalue *new_sval) in replace_svalue()
6392 svalue *
6640 auto_vec<svalue *> new_svalues (m_svalues.length ()); in remap_svalue_ids()
6651 svalue *sval; in remap_svalue_ids()
6668 svalue *sval; in remap_region_ids()
6795 svalue *sval; in poison_any_pointers_to_bad_regions()
6930 svalue *ptr_sval = get_svalue (ptr_sid); in get_or_create_mem_ref()
6936 svalue *offset_sval = get_svalue (offset_sid); in get_or_create_mem_ref()
7064 svalue *fn_ptr_sval = get_svalue (fn_ptr_sid); in get_fndecl_for_call()
7153 svalue *sval_a = m_model_a->get_svalue (sid_a); in can_merge_values_p()
7154 svalue *sval_b = m_model_b->get_svalue (sid_b); in can_merge_values_p()
7188 svalue *merged_sval = new unknown_svalue (type); in can_merge_values_p()
7349 svalue *sval = m_model.get_svalue (sid); in walk_sid()
7740 svalue *ptr_to_r0 in test_svalue_equality()
7742 svalue *ptr_to_r1 in test_svalue_equality()
7751 svalue *cst_int_42 = new constant_svalue (int_42); in test_svalue_equality()
7752 svalue *cst_int_0 = new constant_svalue (int_0); in test_svalue_equality()
7760 svalue *unknown_0 = new unknown_svalue (ptr_type_node); in test_svalue_equality()
7761 svalue *unknown_1 = new unknown_svalue (ptr_type_node); in test_svalue_equality()
8156 svalue *new_p_sval = model.get_svalue (model.get_rvalue (p, &ctxt)); in test_stack_frames()
8163 svalue *new_q_sval = model.get_svalue (model.get_rvalue (q, &ctxt)); in test_stack_frames()
8173 svalue *new_a_sval = model.get_svalue (model.get_rvalue (a, &ctxt)); in test_stack_frames()
8347 svalue **out_merged_svalue) in assert_region_models_merge()
8450 svalue *merged_a_sval = merged.get_svalue (merged.get_rvalue (a, &ctxt)); in test_state_merging()
8474 svalue *merged_x_sval = merged.get_svalue (merged.get_rvalue (x, &ctxt)); in test_state_merging()
8483 svalue *merged_x_sval; in test_state_merging()
8495 svalue *merged_x_sval; in test_state_merging()
8505 svalue *merged_x_sval; in test_state_merging()
8515 svalue *merged_x_sval; in test_state_merging()
8553 svalue *merged_p_sval; in test_state_merging()
8568 svalue *merged_x_sval; in test_state_merging()