Home
last modified time | relevance | path

Searched refs:sval_a (Results 1 – 4 of 4) sorted by relevance

/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dstore.cc1806 const svalue *sval_a = cluster_a->get_any_value (key); in can_merge_p() local
1814 if (sval_a == sval_b) in can_merge_p()
1816 gcc_assert (sval_a); in can_merge_p()
1817 out_cluster->m_map.put (key, sval_a); 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()
2569 const svalue *sval_a = sym_reg_a->get_pointer (); in eval_alias_1() local
2574 if (sval_a->get_kind () == SK_INITIAL) in eval_alias_1()
[all …]
H A Dconstraint-manager.cc3971 const svalue *sval_a = model.get_rvalue (a, NULL); in test_purging() local
3972 model.purge_state_involving (sval_a, NULL); in test_purging()
3989 const svalue *sval_a = model.get_rvalue (a, NULL); in test_purging() local
3990 model.purge_state_involving (sval_a, NULL); in test_purging()
4008 const svalue *sval_a = model.get_rvalue (a, NULL); in test_purging() local
4009 model.purge_state_involving (sval_a, NULL); in test_purging()
4026 const svalue *sval_a = model.get_rvalue (a, NULL); in test_purging() local
4027 model.purge_state_involving (sval_a, NULL); in test_purging()
4044 const svalue *sval_a = model.get_rvalue (a, NULL); in test_purging() local
4045 model.purge_state_involving (sval_a, NULL); in test_purging()
[all …]
H A Dprogram-state.cc695 const svalue *sval_a; in cmp() local
696 FOR_EACH_VEC_ELT (keys_a, i, sval_a) in cmp()
699 if (int cmp_sval = svalue::cmp_ptr (sval_a, sval_b)) in cmp()
701 const entry_t *e_a = const_cast <map_t &> (smap_a.m_map).get (sval_a); in cmp()
/netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Dregion-model.cc7153 svalue *sval_a = m_model_a->get_svalue (sid_a); 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()
7179 tree type = sval_a->get_type (); in can_merge_values_p()
7185 if (sval_a->get_kind () != sval_b->get_kind () in can_merge_values_p()
7186 || sval_a->get_kind () == SK_UNKNOWN) in can_merge_values_p()
7194 gcc_assert (sval_a->get_kind () == sval_b->get_kind ()); in can_merge_values_p()
7196 switch (sval_a->get_kind ()) in can_merge_values_p()
7206 const region_svalue &region_sval_a = *as_a <region_svalue *> (sval_a); in can_merge_values_p()
7218 const constant_svalue &cst_sval_a = *as_a <constant_svalue *> (sval_a); in can_merge_values_p()