Searched refs:get_or_create_unmergeable (Results 1 – 3 of 3) sorted by relevance
273 const svalue *get_or_create_unmergeable (const svalue *arg);
1152 region_model_manager::get_or_create_unmergeable (const svalue *arg) in get_or_create_unmergeable() function in ana::region_model_manager
2018 fake_retval_sval = m_mgr->get_or_create_unmergeable (fake_retval_sval); in on_longjmp()