Lines Matching refs:region_model
101 void validate (const region_model &model) const;
137 void validate (const region_model &model) const;
378 region_id_set (const region_model *model);
490 void print (const region_model &model,
494 virtual void dump_dot_to_pp (const region_model &model,
511 region_model &model,
522 virtual void print_details (const region_model &model,
547 void dump_dot_to_pp (const region_model &model,
573 void print_details (const region_model &model,
630 region_model &model,
634 void print_details (const region_model &model,
677 void print_details (const region_model &model,
719 void print_details (const region_model &model,
788 void print_details (const region_model &model,
870 region *get_parent_region (const region_model &model) const;
872 void set_value (region_model &model, region_id this_rid, svalue_id rhs_sid,
874 svalue_id get_value (region_model &model, bool non_null,
879 region_model &model,
886 void print (const region_model &model,
890 virtual void dump_dot_to_pp (const region_model &model,
894 void dump_to_pp (const region_model &model,
899 virtual void dump_child_label (const region_model &model,
909 void add_view (region_id view_rid, region_model *model);
910 region_id get_view (tree type, region_model *model) const;
914 virtual void validate (const region_model &model) const;
916 bool non_null_p (const region_model &model) const;
923 virtual void print_fields (const region_model &model,
928 void become_active_view (region_model &model, region_id this_rid);
929 void deactivate_any_active_view (region_model &model);
930 void deactivate_view (region_model &model, region_id this_view_rid);
988 void dump_dot_to_pp (const region_model &model,
993 void dump_child_label (const region_model &model,
999 region_id get_or_create (region_model *model,
1011 const region_model &model) const;
1024 const region_model &model) const;
1033 void print_fields (const region_model &model,
1037 void validate (const region_model &model) const FINAL OVERRIDE;
1185 void print_fields (const region_model &model,
1273 region_id get_element (region_model *model,
1315 region_id get_element (region_model *model,
1363 void dump_dot_to_pp (const region_model &model,
1368 void dump_child_label (const region_model &model,
1379 region_id get_element (region_model *model,
1398 region_id get_or_create (region_model *model,
1412 const region_model &model,
1417 void print_fields (const region_model &model,
1421 void validate (const region_model &model) const FINAL OVERRIDE;
1464 void dump_child_label (const region_model &model,
1472 void pop_frame (region_model *model, region_id result_dst_rid,
1488 const region_model &model) const;
1490 void validate (const region_model &model) const FINAL OVERRIDE;
1494 void print_fields (const region_model &model,
1568 void dump_child_label (const region_model &model,
1574 region_id push_frame (region_model *model, function *fun,
1577 region_id get_current_frame_id (const region_model &model) const;
1578 void pop_frame (region_model *model, region_id result_dst_rid,
1582 region_id ensure_stack_region (region_model *model);
1584 stack_region *get_stack_region (const region_model *model) const;
1586 region_id ensure_globals_region (region_model *model);
1588 globals_region *get_globals_region (const region_model *model) const;
1590 region_id ensure_code_region (region_model *model);
1591 code_region *get_code_region (const region_model *model) const;
1593 region_id ensure_heap_region (region_model *model);
1594 heap_region *get_heap_region (const region_model *model) const;
1606 const region_model &model) const;
1608 void validate (const region_model &model) const FINAL OVERRIDE;
1612 void print_fields (const region_model &model,
1660 void print_fields (const region_model &model,
1674 class region_model
1677 region_model ();
1678 region_model (const region_model &other);
1679 ~region_model ();
1682 region_model (region_model &&other);
1685 region_model &operator= (const region_model &other);
1687 bool operator== (const region_model &other) const;
1688 bool operator!= (const region_model &other) const
1857 bool can_merge_with_p (const region_model &other_model,
1858 region_model *out_model,
1860 bool can_merge_with_p (const region_model &other_model,
1861 region_model *out_model) const;
2076 model_merger (const region_model *model_a, in model_merger()
2077 const region_model *model_b, in model_merger()
2078 region_model *merged_model, in model_merger()
2117 const region_model *m_model_a;
2118 const region_model *m_model_b;
2119 region_model *m_merged_model;
2134 svalue_id_merger_mapping (const region_model &a,
2135 const region_model &b);
2156 canonicalization (const region_model &model);
2164 const region_model &m_model;
2181 extern void debug (const region_model &rmodel);
2237 region_model &model,