224     region_model *model = m_new_state->m_region_model;  in get_fndecl_for_call()
241       = m_old_state->m_region_model->get_rvalue (var, &old_ctxt);  in on_transition()
247       = m_new_state->m_region_model->get_rvalue (var, &new_ctxt);  in on_transition()
249       = m_new_state->m_region_model->get_rvalue (origin, &new_ctxt);  in on_transition()
260 	m_new_smap->set_state (m_new_state->m_region_model, var_new_sid,  in on_transition()
280 	  = m_old_state->m_region_model->get_rvalue (var, &old_ctxt);  in warn_for_state()
312     svalue_id sid = m_new_state->m_region_model->get_rvalue (expr, NULL);  in get_readable_tree()
315     m_new_state->m_region_model->get_path_vars_for_svalue (sid, &pvs);  in get_readable_tree()
539       const region_model &rm = *m_new_state->m_region_model;  in on_state_leak()
559   m_old_state->m_region_model->get_path_vars_for_svalue (old_sid, &leaked_pvs);  in on_state_leak()
730 	      == m_state.m_region_model->get_stack_depth ());  in validate()
736 		  == m_state.m_region_model->get_function_at_depth (depth));  in validate()
808   gcc_checking_assert (ps.get_state ().m_region_model->canonicalized_p ());  in exploded_node()
885 	    smap->print (ext_state.get_sm (i), state.m_region_model, pp);  in dump_dot()
1019     state->m_region_model->on_assignment (assign, &ctxt);  in on_stmt()
1022     state->m_region_model->on_return (return_, &ctxt);  in on_stmt()
1047 	  state->m_region_model->dump (false);  in on_stmt()
1057 	    = state->m_region_model->eval_condition (t_arg,  in on_stmt()
1076 	state->m_region_model->on_setjmp (call, this, &ctxt);  in on_stmt()
1083 	unknown_side_effects = state->m_region_model->on_call_pre (call, &ctxt);  in on_stmt()
1107 		= state->m_region_model->get_fndecl_for_call (call, &ctxt);  in on_stmt()
1111 						    state->m_region_model,  in on_stmt()
1120     state->m_region_model->on_call_post (call, unknown_side_effects, &ctxt);  in on_stmt()
1233   region_model *new_region_model = new_state->m_region_model;  in on_longjmp()
1358   gcc_assert (new_state.m_region_model);  in detect_leaks()
1365   new_state.m_region_model->pop_frame (region_id::null (),  in detect_leaks()
1861   state.m_region_model->push_frame (fun, NULL, &ctxt);  in add_function_entry()
1930       pruned_state.m_region_model->dump_to_pp (logger->get_printer (), true);  in get_or_create_node()
2464 	      next_state.m_region_model->update_for_phis  in process_node()