Lines Matching refs:region_model
157 sm_state_map::print (const state_machine &sm, const region_model *model, in print()
314 sm_state_map::set_state (region_model *model, in set_state()
405 region_model *new_model, in purge_for_unknown_fncall()
598 : m_region_model (new region_model ()), in program_state()
610 : m_region_model (new region_model (*other.m_region_model)), in program_state()
626 m_region_model = new region_model (*other.m_region_model); in operator =()
1299 region_model model; in test_sm_state_map()
1324 region_model model; in test_sm_state_map()
1347 region_model model; in test_sm_state_map()
1438 region_model *model = s.m_region_model; in test_program_state_dumping()
1484 region_model *model = s.m_region_model; in test_program_state_dumping_2()
1531 region_model *model0 = s0.m_region_model; in test_program_state_merging()
1559 region_model *merged_model = merged.m_region_model; in test_program_state_merging()