Searched refs:involves_p (Results 1 – 9 of 9) sorted by relevance
699 region::involves_p (const svalue *sval) const in involves_p() function in ana::region703 if (symbolic_reg->get_pointer ()->involves_p (sval)) in involves_p()
240 if (iter_reg->involves_p (sval) || iter_sval->involves_p (sval)) in purge_state_involving()6442 ASSERT_TRUE (p_init->involves_p (p_init)); in test_involves_p()6443 ASSERT_FALSE (p_init->involves_p (q_init)); in test_involves_p()6451 ASSERT_TRUE (init_star_p->involves_p (p_init)); in test_involves_p()6452 ASSERT_FALSE (p_init->involves_p (init_star_p)); in test_involves_p()6453 ASSERT_FALSE (init_star_p->involves_p (q_init)); in test_involves_p()6454 ASSERT_TRUE (init_star_q->involves_p (q_init)); in test_involves_p()6455 ASSERT_FALSE (init_star_q->involves_p (p_init)); in test_involves_p()
1413 if (reg->involves_p (sval)) in purge_state_involving()1417 if (iter_sval->involves_p (sval)) in purge_state_involving()2697 if (base_reg->involves_p (sval)) in purge_state_involving()
162 bool involves_p (const svalue *sval) const;
159 bool involves_p (const svalue *other) const;
625 svalue::involves_p (const svalue *other) const in involves_p() function in ana::svalue
663 if (key->involves_p (sval)) in purge_state_involving()
2036 (region::involves_p): New.2040 (region::involves_p): New decl.2053 (svalue::involves_p): Also handle SK_CONJURED.2881 (svalue::involves_p): New.2882 * svalue.h (svalue::involves_p): New decl.
2755 return sval->involves_p (m_sval); in should_purge_p()