Searched defs:sval_mgr (Results 1 – 1 of 1) sorted by relevance
1354 region_model_manager *sval_mgr = mgr->get_svalue_manager (); in fill_region() local1367 region_model_manager *sval_mgr = mgr->get_svalue_manager (); in zero_fill_region() local1392 region_model_manager *sval_mgr = mgr->get_svalue_manager (); in mark_region_as_unknown() local1402 region_model_manager *sval_mgr) in purge_state_involving()1581 region_model_manager *sval_mgr = mgr->get_svalue_manager (); in maybe_get_compound_binding() local1804 region_model_manager *sval_mgr = mgr->get_svalue_manager (); in can_merge_p() local2668 region_model_manager *sval_mgr = mgr->get_svalue_manager (); in zero_fill_region() local2691 region_model_manager *sval_mgr) in purge_state_involving()