Home
last modified time | relevance | path

Searched refs:sval_b (Results 1 – 3 of 3) sorted by relevance

/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dstore.cc1807 const svalue *sval_b = cluster_b->get_any_value (key); in can_merge_p() local
1814 if (sval_a == sval_b) in can_merge_p()
1820 else if (sval_a && sval_b) in can_merge_p()
1823 = sval_a->can_merge_p (sval_b, sval_mgr, merger)) in can_merge_p()
1834 gcc_assert (sval_a || sval_b); in can_merge_p()
1836 const svalue *bound_sval = sval_a ? sval_a : sval_b; in can_merge_p()
H A Dprogram-state.cc698 const svalue *sval_b = keys_b[i]; in cmp() local
699 if (int cmp_sval = svalue::cmp_ptr (sval_a, sval_b)) in cmp()
702 const entry_t *e_b = const_cast <map_t &> (smap_b.m_map).get (sval_b); in cmp()
/netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Dregion-model.cc7154 svalue *sval_b = m_model_b->get_svalue (sid_b); in can_merge_values_p() local
7157 if (!sval_a && !sval_b) in can_merge_values_p()
7162 if (!(sval_a && sval_b)) in can_merge_values_p()
7181 type = sval_b->get_type (); in can_merge_values_p()
7185 if (sval_a->get_kind () != sval_b->get_kind () in can_merge_values_p()
7194 gcc_assert (sval_a->get_kind () == sval_b->get_kind ()); in can_merge_values_p()
7207 const region_svalue &region_sval_b = *as_a <region_svalue *> (sval_b); in can_merge_values_p()
7219 const constant_svalue &cst_sval_b = *as_a <constant_svalue *> (sval_b); in can_merge_values_p()