Home
last modified time | relevance | path

Searched refs:region_model (Results 1 – 25 of 46) sorted by relevance

12

/netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Dregion-model.h101 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,
[all …]
H A Dregion-model.cc149 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()
[all …]
H A Dconstraint-manager.cc1300 constraint_manager *clone (region_model *) const FINAL OVERRIDE in clone()
1565 region_model model; in test_constraint_conditions()
1576 region_model model; in test_constraint_conditions()
1607 region_model model; in test_constraint_conditions()
1623 region_model model; in test_constraint_conditions()
1653 region_model model; in test_constraint_conditions()
1675 region_model model; in test_constraint_conditions()
1697 region_model model; in test_constraint_conditions()
1719 region_model model; in test_constraint_conditions()
1743 region_model model; in test_constraint_conditions()
[all …]
H A Dprogram-state.cc157 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()
[all …]
H A Dprogram-state.h149 void print (const state_machine &sm, const region_model *model,
166 void set_state (region_model *model,
183 region_model *new_model,
289 region_model *m_region_model;
H A Dsm-signal.cc175 update_model_for_signal_handler (region_model *model, in update_model_for_signal_handler()
179 *model = region_model (); in update_model_for_signal_handler()
193 void update_model (region_model *model, in update_model()
H A Dexploded-graph.h302 virtual void update_model (region_model *model,
351 void update_model (region_model *model,
870 const region_model &model, in feasibility_problem()
878 region_model m_model;
H A Danalyzer.h48 class region_model; variable
/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A DChangeLog12 * region-model.cc (region_model::on_longjmp): Pass false for
14 (region_model::pop_frame): Add new "eval_return_svalue" param and
17 * region-model.h (region_model::pop_frame): Add new
23 * region-model.cc (region_model::get_rvalue_1): Handle VAR_DECLs
44 * region-model.cc (region_model::on_top_level_param): Add
46 (region_model::push_frame): When handling a top-level entrypoint
51 (region_model::on_top_level_param): Add "nonnull" param.
58 * region-model.cc (region_model::eval_condition): Handle e.g.
79 * region-model.cc (region_model::eval_condition_without_cm):
91 * region-model.cc (region_model::on_call_pre): Use check_call_args
[all …]
H A Dregion-model.cc251 region_model::region_model (region_model_manager *mgr) in region_model() function in ana::region_model
260 region_model::region_model (const region_model &other) in region_model() function in ana::region_model
270 region_model::~region_model () in ~region_model()
277 region_model &
278 region_model::operator= (const region_model &other) in operator =()
302 region_model::operator== (const region_model &other) const in operator ==()
327 region_model::hash () const in hash()
339 region_model::dump_to_pp (pretty_printer *pp, bool simple, in dump_to_pp()
392 region_model::dump (FILE *fp, bool simple, bool multiline) const in dump()
406 region_model::dump (bool simple) const in dump()
[all …]
H A Dregion-model-impl-calls.cc70 call_details::call_details (const gcall *call, region_model *model, in call_details()
231 region_model::impl_call_alloca (const call_details &cd) in impl_call_alloca()
247 region_model::impl_call_analyzer_describe (const gcall *call, in impl_call_analyzer_describe()
265 region_model::impl_call_analyzer_dump_capacity (const gcall *call, in impl_call_analyzer_dump_capacity()
311 region_model::impl_call_analyzer_dump_escaped (const gcall *call) in impl_call_analyzer_dump_escaped()
355 region_model::impl_call_analyzer_eval (const gcall *call, in impl_call_analyzer_eval()
366 region_model::impl_call_builtin_expect (const call_details &cd) in impl_call_builtin_expect()
376 region_model::impl_call_calloc (const call_details &cd) in impl_call_calloc()
406 region_model::impl_call_error (const call_details &cd, unsigned min_args, in impl_call_error()
430 region_model::impl_call_fgets (const call_details &cd) in impl_call_fgets()
[all …]
H A Dregion-model.h511 call_details (const gcall *call, region_model *model,
540 region_model *m_model;
555 class region_model
560 region_model (region_model_manager *mgr);
561 region_model (const region_model &other);
562 ~region_model ();
563 region_model &operator= (const region_model &other);
565 bool operator== (const region_model &other) const;
566 bool operator!= (const region_model &other) const
648 const region_model &old_state,
[all …]
H A Dconstraint-manager.cc2721 const region_model *model) in dead_svalue_purger()
2733 const region_model *m_model;
2742 const region_model *model) in on_liveness_change()
3166 region_model model (&mgr); in test_constraint_conditions()
3178 region_model model (&mgr); in test_constraint_conditions()
3193 region_model model (&mgr); in test_constraint_conditions()
3225 region_model model (&mgr); in test_constraint_conditions()
3242 region_model model (&mgr); in test_constraint_conditions()
3273 region_model model (&mgr); in test_constraint_conditions()
3296 region_model model (&mgr); in test_constraint_conditions()
[all …]
H A Dprogram-state.h113 void print (const region_model *model,
135 void set_state (region_model *model,
155 const region_model *model,
281 region_model *m_region_model;
H A Dsvalue.h96 void print (const region_model &model,
152 const region_model *model) const;
154 const region_model *model) const;
239 const region_model *) const FINAL OVERRIDE;
288 const region_model *) const FINAL OVERRIDE;
564 const region_model *) const FINAL OVERRIDE;
638 const region_model *) const FINAL OVERRIDE;
734 const region_model *) const FINAL OVERRIDE;
815 const region_model *) const FINAL OVERRIDE;
985 const region_model *) const FINAL OVERRIDE;
[all …]
H A Dregion-model-reachability.h38 reachable_regions (region_model *model);
106 region_model *m_model;
H A Dprogram-state.cc196 sm_state_map::print (const region_model *model, in print()
452 sm_state_map::set_state (region_model *model, in set_state()
563 const region_model *model, in on_liveness_change()
738 m_region_model = new region_model (mgr); in program_state()
750 : m_region_model (new region_model (*other.m_region_model)), in program_state()
766 m_region_model = new region_model (*other.m_region_model); in operator =()
1498 region_model model (&mgr); in test_sm_state_map()
1527 region_model model (&mgr); in test_sm_state_map()
1551 region_model model (&mgr); in test_sm_state_map()
1586 region_model model (&mgr); in test_sm_state_map()
[all …]
H A Dsm-signal.cc202 update_model_for_signal_handler (region_model *model, in update_model_for_signal_handler()
207 *model = region_model (model->get_manager ()); in update_model_for_signal_handler()
227 bool update_model (region_model *model, in update_model()
H A Dsvalue.cc285 const region_model *model) const in live_p()
300 svalue::implicitly_live_p (const svalue_set *, const region_model *) const in implicitly_live_p()
743 const region_model *model) const in implicitly_live_p()
840 const region_model *) const in implicitly_live_p()
1042 const region_model *model) const in implicitly_live_p()
1134 const region_model *model) const in implicitly_live_p()
1237 const region_model *model) const in implicitly_live_p()
1295 const region_model *model) const in implicitly_live_p()
1505 const region_model *model) const in implicitly_live_p()
1722 const region_model *model) const in implicitly_live_p()
H A Dexploded-graph.h54 const region_model *model) FINAL OVERRIDE;
385 bool update_model (region_model *model,
414 bool update_model (region_model *model,
1001 const region_model &get_model () const { return m_model; } in get_model()
1007 region_model m_model;
H A Dcall-info.h42 call_details get_call_details (region_model *model,
H A Dcall-info.cc122 call_info::get_call_details (region_model *model, in get_call_details()
H A Danalyzer.h77 class region_model; variable
247 virtual bool update_model (region_model *model,
H A Dsm.cc165 const region_model *
/netbsd-src/external/gpl3/gcc.old/dist/gcc/doc/
H A Danalyzer.texi241 Part of the state stored at a @code{exploded_node} is a @code{region_model}.
247 A @code{region_model} encapsulates a representation of the state of
253 Because each node in the @code{exploded_graph} has a @code{region_model},
257 Here's an example of printing a @code{region_model}, showing the ASCII-art
397 @code{region_model} (and thus per @code{exploded_node}) rather than
399 @code{program_state} or @code{region_model}. The latter approach might be
498 will dump the region_model's state to stderr.
511 @code{region_model::validate}.
513 For example, this custom code (added to @code{region_model::validate})
516 @code{region_model::get_value_by_name} to locate the variable

12