149   impl_constraint_manager (region_model *model)  in impl_constraint_manager()
155 			   region_model *model)  in impl_constraint_manager()
160   constraint_manager *clone (region_model *model) const  in clone()
183   region_model *m_model;
211 svalue_id::validate (const region_model &model) const  in validate()
241 region_id::validate (const region_model &model) const  in validate()
248 region_id_set::region_id_set (const region_model *model)  in region_id_set()
348 svalue::print (const region_model &model,  in print()
372 svalue::dump_dot_to_pp (const region_model &model,  in dump_dot_to_pp()
408 		       region_model &model,  in get_child_sid()
453 region_svalue::print_details (const region_model &model ATTRIBUTE_UNUSED,  in print_details()
469 region_svalue::dump_dot_to_pp (const region_model &model,  in dump_dot_to_pp()
723 constant_svalue::print_details (const region_model &model ATTRIBUTE_UNUSED,  in print_details()
735 				region_model &model,  in get_child_sid()
775 unknown_svalue::print_details (const region_model &model ATTRIBUTE_UNUSED,  in print_details()
821 poisoned_svalue::print_details (const region_model &model ATTRIBUTE_UNUSED,  in print_details()
1010 region::get_parent_region (const region_model &model) const  in get_parent_region()
1019 region::set_value (region_model &model, region_id this_rid, svalue_id rhs_sid,  in set_value()
1060 region::become_active_view (region_model &model, region_id this_rid)  in become_active_view()
1110 region::deactivate_any_active_view (region_model &model)  in deactivate_any_active_view()
1123 region::deactivate_view (region_model &model, region_id this_view_rid)  in deactivate_view()
1156 region::get_value (region_model &model, bool non_null,  in get_value()
1195 				 region_model &model,  in get_inherited_child_sid()
1230 region_model::copy_region (region_id dst_rid, region_id src_rid,  in copy_region()
1289 region_model::copy_struct_region (region_id dst_rid,  in copy_struct_region()
1311 region_model::copy_union_region (region_id dst_rid,  in copy_union_region()
1328 region_model::copy_array_region (region_id dst_rid,  in copy_array_region()
1361 region::print (const region_model &model,  in print()
1377 region::dump_dot_to_pp (const region_model &model,  in dump_dot_to_pp()
1414 region::dump_to_pp (const region_model &model,  in dump_to_pp()
1480 region::dump_child_label (const region_model &model,  in dump_child_label()
1504 region::validate (const region_model &model) const  in validate()
1544 region::add_view (region_id view_rid, region_model *model)  in add_view()
1564 region::get_view (tree type, region_model *model) const  in get_view()
1615 region::print_fields (const region_model &model ATTRIBUTE_UNUSED,  in print_fields()
1647 region::non_null_p (const region_model &model) const  in non_null_p()
1720 map_region::print_fields (const region_model &model,  in print_fields()
1744 map_region::validate (const region_model &model) const  in validate()
1759 map_region::dump_dot_to_pp (const region_model &model,  in dump_dot_to_pp()
1791 map_region::dump_child_label (const region_model &model,  in dump_child_label()
1819 map_region::get_or_create (region_model *model,  in get_or_create()
1906 				       const region_model &model) const  in get_tree_for_child_region()
2137 			       const region_model &model) const  in get_value_by_name()
2152 	    return region->get_value (const_cast<region_model &>(model),  in get_value_by_name()
2262 frame_region::print_fields (const region_model &model,  in print_fields()
2349 array_region::get_element (region_model *model,  in get_element()
2403 array_region::print_fields (const region_model &model,  in print_fields()
2426 array_region::validate (const region_model &model) const  in validate()
2441 array_region::dump_dot_to_pp (const region_model &model,  in dump_dot_to_pp()
2473 array_region::dump_child_label (const region_model &model,  in dump_child_label()
2500 array_region::get_or_create (region_model *model,  in get_or_create()
2704 stack_region::print_fields (const region_model &model,  in print_fields()
2715 stack_region::dump_child_label (const region_model &model,  in dump_child_label()
2727 stack_region::validate (const region_model &model) const  in validate()
2770 stack_region::pop_frame (region_model *model, region_id result_dst_rid,  in pop_frame()
2862   region_model *merged_model = merger->m_merged_model;  in can_merge_p()
2937 				 const region_model &model) const  in get_value_by_name()
3040 root_region::print_fields (const region_model &model,  in print_fields()
3051 root_region::validate (const region_model &model) const  in validate()
3063 root_region::dump_child_label (const region_model &model ATTRIBUTE_UNUSED,  in dump_child_label()
3088 root_region::push_frame (region_model *model, function *fun,  in push_frame()
3176 root_region::get_current_frame_id (const region_model &model) const  in get_current_frame_id()
3189 root_region::pop_frame (region_model *model, region_id result_dst_rid,  in pop_frame()
3201 root_region::ensure_stack_region (region_model *model)  in ensure_stack_region()
3215 root_region::get_stack_region (const region_model *model) const  in get_stack_region()
3224 root_region::ensure_globals_region (region_model *model)  in ensure_globals_region()
3235 root_region::get_code_region (const region_model *model) const  in get_code_region()
3244 root_region::ensure_code_region (region_model *model)  in ensure_code_region()
3255 root_region::get_globals_region (const region_model *model) const  in get_globals_region()
3264 root_region::ensure_heap_region (region_model *model)  in ensure_heap_region()
3278 root_region::get_heap_region (const region_model *model) const  in get_heap_region()
3395 				const region_model &model) const  in get_value_by_name()
3452 symbolic_region::print_fields (const region_model &model,  in print_fields()
3464 region_model::region_model ()  in region_model()  function in ana::region_model
3473 region_model::region_model (const region_model &other)  in region_model()  function in ana::region_model
3494 region_model::~region_model ()  in ~region_model()
3501 region_model &
3502 region_model::operator= (const region_model &other)  in operator =()
3542 region_model::operator== (const region_model &other) const  in operator ==()
3575 region_model::hash () const  in hash()
3597 region_model::print (pretty_printer *pp) const  in print()
3628 region_model::print_svalue (svalue_id sid, pretty_printer *pp) const  in print_svalue()
3637 region_model::dump_dot_to_pp (pretty_printer *pp) const  in dump_dot_to_pp()
3672 region_model::dump_dot_to_file (FILE *fp) const  in dump_dot_to_file()
3684 region_model::dump_dot (const char *path) const  in dump_dot()
3699 region_model::dump_to_pp (pretty_printer *pp, bool summarize) const  in dump_to_pp()
3718       region_model copy (*this);  in dump_to_pp()
3791 region_model::dump (FILE *fp, bool summarize) const  in dump()
3804 region_model::dump (bool summarize) const  in dump()
3812 region_model::debug () const  in debug()
3845 region_model::dump_summary_of_rep_path_vars (pretty_printer *pp,  in dump_summary_of_rep_path_vars()
3922 region_model::validate () const  in validate()
3941 static region_model *svalue_id_cmp_by_constant_svalue_model = NULL;
3970 region_model::canonicalize (region_model_context *ctxt)  in canonicalize()
4032 region_model::canonicalized_p () const  in canonicalized_p()
4034   region_model copy (*this);  in canonicalized_p()
4109 region_model::check_for_poison (tree expr, region_model_context *ctxt)  in check_for_poison()
4133 region_model::on_assignment (const gassign *assign, region_model_context *ctxt)  in on_assignment()
4353 region_model::on_call_pre (const gcall *call, region_model_context *ctxt)  in on_call_pre()
4476 region_model::on_call_post (const gcall *call,  in on_call_post()
4533   reachable_regions (region_model *model)  in reachable_regions()
4593   region_model *m_model;
4614 region_model::handle_unrecognized_call (const gcall *call,  in handle_unrecognized_call()
4706 region_model::on_return (const greturn *return_stmt, region_model_context *ctxt)  in on_return()
4723 region_model::on_setjmp (const gcall *call, const exploded_node *enode,  in on_setjmp()
4754 region_model::on_longjmp (const gcall *longjmp_call, const gcall *setjmp_call,  in on_longjmp()
4808 region_model::handle_phi (const gphi *phi,  in handle_phi()
4845 region_model::get_lvalue_1 (path_var pv, region_model_context *ctxt)  in get_lvalue_1()
4999 region_model::make_region_for_unexpected_tree_code (region_model_context *ctxt,  in make_region_for_unexpected_tree_code()
5023 region_model::get_lvalue (path_var pv, region_model_context *ctxt)  in get_lvalue()
5038 region_model::get_lvalue (tree expr, region_model_context *ctxt)  in get_lvalue()
5049 region_model::get_rvalue_1 (path_var pv, region_model_context *ctxt)  in get_rvalue_1()
5104 region_model::get_rvalue (path_var pv, region_model_context *ctxt)  in get_rvalue()
5120 region_model::get_rvalue (tree expr, region_model_context *ctxt)  in get_rvalue()
5129 region_model::get_or_create_ptr_svalue (tree ptr_type, region_id rid)  in get_or_create_ptr_svalue()
5153 region_model::get_or_create_constant_svalue (tree cst_expr)  in get_or_create_constant_svalue()
5173 region_model::get_svalue_for_fndecl (tree ptr_type, tree fndecl,  in get_svalue_for_fndecl()
5185 region_model::get_region_for_fndecl (tree fndecl,  in get_region_for_fndecl()
5201 region_model::get_svalue_for_label (tree ptr_type, tree label,  in get_svalue_for_label()
5213 region_model::get_region_for_label (tree label,  in get_region_for_label()
5282 region_model::maybe_cast_1 (tree dst_type, svalue_id sid)  in maybe_cast_1()
5341 region_model::maybe_cast (tree dst_type, svalue_id sid,  in maybe_cast()
5358 region_model::get_field_region (region_id struct_or_union_rid, tree field,  in get_field_region()
5393 region_model::deref_rvalue (svalue_id ptr_sid, region_model_context *ctxt)  in deref_rvalue()
5457 region_model::deref_rvalue (tree ptr, region_model_context *ctxt)  in deref_rvalue()
5467 region_model::set_value (region_id lhs_rid, svalue_id rhs_sid,  in set_value()
5479 region_model::set_value (tree lhs, tree rhs, region_model_context *ctxt)  in set_value()
5492 region_model::eval_condition (svalue_id lhs_sid,  in eval_condition()
5522 region_model::eval_condition_without_cm (svalue_id lhs_sid,  in eval_condition_without_cm()
5616 region_model::add_constraint (tree lhs, enum tree_code op, tree rhs,  in add_constraint()
5682 region_model::add_any_constraints_from_ssa_def_stmt (tree lhs,  in add_any_constraints_from_ssa_def_stmt()
5707 region_model::add_any_constraints_from_gassign (enum tree_code op,  in add_any_constraints_from_gassign()
5779 region_model::add_any_constraints_from_gcall (enum tree_code op,  in add_any_constraints_from_gcall()
5798 region_model::eval_condition (tree lhs,  in eval_condition()
5815 region_model::maybe_get_constant (svalue_id sid) const  in maybe_get_constant()
5827 region_model::add_new_malloc_region ()  in add_new_malloc_region()
5837 region_model::get_representative_tree (svalue_id sid) const  in get_representative_tree()
5875 region_model::get_representative_path_var (region_id rid) const  in get_representative_path_var()
5959 region_model::get_path_vars_for_svalue (svalue_id sid, vec<path_var> *out) const  in get_path_vars_for_svalue()
5975 region_model::set_to_new_unknown_value (region_id dst_rid, tree type,  in set_to_new_unknown_value()
5991 region_model::update_for_phis (const supernode *snode,  in update_for_phis()
6031 region_model::maybe_update_for_edge (const superedge &edge,  in maybe_update_for_edge()
6092 region_model::update_for_call_superedge (const call_superedge &call_edge,  in update_for_call_superedge()
6114 region_model::update_for_return_superedge (const return_superedge &return_edge,  in update_for_return_superedge()
6154 region_model::update_for_call_summary (const callgraph_superedge &cg_sedge,  in update_for_call_summary()
6175 region_model::apply_constraints_for_gcond (const cfg_superedge &sedge,  in apply_constraints_for_gcond()
6200 region_model::apply_constraints_for_gswitch (const switch_cfg_superedge &edge,  in apply_constraints_for_gswitch()
6257 region_model::get_root_region () const  in get_root_region()
6265 region_model::get_stack_region_id () const  in get_stack_region_id()
6280 region_model::push_frame (function *fun, vec<svalue_id> *arg_sids,  in push_frame()
6290 region_model::get_current_frame_id () const  in get_current_frame_id()
6299 region_model::get_current_function () const  in get_current_function()
6310 region_model::pop_frame (region_id result_dst_rid,  in pop_frame()
6320 region_model::get_stack_depth () const  in get_stack_depth()
6332 region_model::get_function_at_depth (unsigned depth) const  in get_function_at_depth()
6344 region_model::get_globals_region_id () const  in get_globals_region_id()
6353 region_model::add_svalue (svalue *sval)  in add_svalue()
6367 region_model::replace_svalue (svalue_id sid, svalue *new_sval)  in replace_svalue()
6383 region_model::add_region (region *r)  in add_region()
6393 region_model::get_svalue (svalue_id sval_id) const  in get_svalue()
6403 region_model::get_region (region_id rid) const  in get_region()
6448 region_model::add_region_for_type (region_id parent_rid, tree type,  in add_region_for_type()
6508 region_model::purge_unused_svalues (purge_stats *stats,  in purge_unused_svalues()
6628 region_model::remap_svalue_ids (const svalue_id_map &map)  in remap_svalue_ids()
6659 region_model::remap_region_ids (const region_id_map &map)  in remap_region_ids()
6695 region_model::purge_regions (const region_id_set &set_to_purge,  in purge_regions()
6734 region_model::get_descendents (region_id rid, region_id_set *out,  in get_descendents()
6770 region_model::delete_region_and_descendents (region_id rid,  in delete_region_and_descendents()
6790 region_model::poison_any_pointers_to_bad_regions (const region_id_set &  in poison_any_pointers_to_bad_regions()
6812 region_model::can_merge_with_p (const region_model &other_model,  in can_merge_with_p()
6813 				region_model *out_model,  in can_merge_with_p()
6855 region_model::can_merge_with_p (const region_model &other_model,  in can_merge_with_p()
6856 				region_model *out_model) const  in can_merge_with_p()
6867 region_model::get_value_by_name (const char *name) const  in get_value_by_name()
6878 region_model::convert_byte_offset_to_array_index (tree ptr_type,  in convert_byte_offset_to_array_index()
6925 region_model::get_or_create_mem_ref (tree type,  in get_or_create_mem_ref()
7013 region_model::get_or_create_pointer_plus_expr (tree type,  in get_or_create_pointer_plus_expr()
7028 region_model::get_or_create_view (region_id raw_rid, tree type,  in get_or_create_view()
7057 region_model::get_fndecl_for_call (const gcall *call,  in get_fndecl_for_call()
7263 svalue_id_merger_mapping::svalue_id_merger_mapping (const region_model &a,  in svalue_id_merger_mapping()
7264 						    const region_model &b)  in svalue_id_merger_mapping()
7311 canonicalization::canonicalization (const region_model &model)  in canonicalization()
7416 debug (const region_model &rmodel)  in debug()
7483 		  region_model &model,  in assert_condition()
7514 		const region_model &model,  in assert_dump_eq()
7537   region_model model;  in test_dump()
7620   region_model model;  in test_dump_2()
7658   region_model model;  in test_dump_3()
7694     region_model m;  in test_get_representative_tree()
7703     region_model m;  in test_get_representative_tree()
7720   region_model model;  in test_unique_constants()
7822   purge_one_svalue_id (region_model model, tree expr)  in purge_one_svalue_id()
7846     region_model model0;  in test_purging_by_criteria()
7847     region_model model1;  in test_purging_by_criteria()
7866     region_model model0;  in test_purging_by_criteria()
7867     region_model model1;  in test_purging_by_criteria()
7880     region_model model0;  in test_purging_by_criteria()
7881     region_model model1;  in test_purging_by_criteria()
7898     region_model model0;  in test_purging_by_criteria()
7899     region_model model1;  in test_purging_by_criteria()
7916     region_model model0;  in test_purging_by_criteria()
7917     region_model model1;  in test_purging_by_criteria()
7944   region_model model;  in test_purge_unused_svalues()
7990   region_model model;  in test_assignment()
8023   region_model model;  in test_compound_assignment()
8080   region_model model;  in test_stack_frames()
8200   region_model model;  in test_get_representative_path_var()
8243   region_model model0;  in test_canonicalization_1()
8247   region_model model1;  in test_canonicalization_1()
8270   region_model model0;  in test_canonicalization_2()
8278   region_model model1;  in test_canonicalization_2()
8305   region_model model0;  in test_canonicalization_3()
8309   region_model model1;  in test_canonicalization_3()
8327   region_model model;  in test_canonicalization_4()
8346 			    region_model *out_merged_model,  in assert_region_models_merge()
8350   region_model model0;  in assert_region_models_merge()
8351   region_model model1;  in assert_region_models_merge()
8399     region_model model0;  in test_state_merging()
8400     region_model model1;  in test_state_merging()
8401     region_model merged;  in test_state_merging()
8412     region_model model0;  in test_state_merging()
8413     region_model model1;  in test_state_merging()
8414     region_model merged;  in test_state_merging()
8426     region_model model0;  in test_state_merging()
8427     region_model model1;  in test_state_merging()
8446     region_model merged;  in test_state_merging()
8457     region_model model0;  in test_state_merging()
8458     region_model model1;  in test_state_merging()
8470     region_model merged;  in test_state_merging()
8482     region_model merged;  in test_state_merging()
8494     region_model merged;  in test_state_merging()
8504     region_model merged;  in test_state_merging()
8514     region_model merged;  in test_state_merging()
8533     region_model model0;  in test_state_merging()
8540     region_model model1 (model0);  in test_state_merging()
8544     region_model merged;  in test_state_merging()
8551     region_model merged;  in test_state_merging()
8566     region_model merged;  in test_state_merging()
8579     region_model model0;  in test_state_merging()
8587     region_model model1 (model0);  in test_state_merging()
8591     region_model merged;  in test_state_merging()
8605     region_model model0;  in test_state_merging()
8610     region_model model1 (model0);  in test_state_merging()
8613     region_model merged;  in test_state_merging()
8624     region_model model0;  in test_state_merging()
8625     region_model model1;  in test_state_merging()
8633     region_model model0;  in test_state_merging()
8634     region_model model1;  in test_state_merging()
8655     region_model model0;  in test_state_merging()
8662     region_model model1 (model0);  in test_state_merging()
8666     region_model merged;  in test_state_merging()
8673     region_model model0;  in test_state_merging()
8693     region_model model1 (model0);  in test_state_merging()
8698     region_model merged;  in test_state_merging()
8706     region_model model0;  in test_state_merging()
8713     region_model model1 (model0);  in test_state_merging()
8718     region_model merged;  in test_state_merging()
8741   region_model model0;  in test_constraint_merging()
8749   region_model model1;  in test_constraint_merging()
8758   region_model merged;  in test_constraint_merging()
8778   region_model model;  in test_malloc_constraints()