598 : m_region_model (new region_model ()),  in program_state()
610 : m_region_model (new region_model (*other.m_region_model)),  in program_state()
625   delete m_region_model;  in operator =()
626   m_region_model = new region_model (*other.m_region_model);  in operator =()
646 : m_region_model (other.m_region_model),  in program_state()
649   other.m_region_model = NULL;  in program_state()
665   delete m_region_model;  in ~program_state()
673   hashval_t result = m_region_model->hash ();  in hash()
690   if (!(*m_region_model == *other.m_region_model))  in operator ==()
711   m_region_model->print (pp);  in print()
721 	  smap->print (ext_state.get_sm (i), m_region_model, pp);  in print()
742   m_region_model->dump_to_pp (pp, summarize);  in dump_to_pp()
753 	  smap->print (ext_state.get_sm (i), m_region_model, pp);  in dump_to_pp()
829   if (!m_region_model->maybe_update_for_edge (*succ,  in on_edge()
872       region_id_set purgeable_ssa_regions (new_state.m_region_model);  in prune_for_point()
874 	= new_state.m_region_model->get_current_frame_id ();  in prune_for_point()
876 	= new_state.m_region_model->get_region <frame_region>(frame_rid);  in prune_for_point()
894 		    = new_state.m_region_model->get_region (rid);  in prune_for_point()
941       new_state.m_region_model->purge_regions (purgeable_ssa_regions,  in prune_for_point()
953   new_state.m_region_model->purge_unused_svalues (&stats, &ctxt);  in prune_for_point()
963   new_state.m_region_model->canonicalize (&ctxt);  in prune_for_point()
988   return m_region_model->get_representative_tree (sid);  in get_representative_tree()
1009   svalue_id_merger_mapping sid_mapping (*m_region_model,  in can_merge_with_p()
1010 					*other.m_region_model);  in can_merge_with_p()
1011   if (!m_region_model->can_merge_with_p (*other.m_region_model,  in can_merge_with_p()
1012 					 out->m_region_model,  in can_merge_with_p()
1067   out->m_region_model->canonicalize (&ctxt);  in can_merge_with_p()
1082   m_region_model->validate ();  in validate()
1089       smap->validate (sm, m_region_model->get_num_svalues ());  in validate()
1141   m_new_sid.validate (*new_state.m_region_model);  in validate()
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()
1566   merged.m_region_model->canonicalize (&merged_ctxt);  in test_program_state_merging()