| /netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/ |
| H A D | region-model-reachability.h | 76 svalue_set::iterator begin_reachable_svals () in begin_reachable_svals()
80 svalue_set::iterator end_reachable_svals () in end_reachable_svals()
84 svalue_set::iterator begin_mutable_svals () in begin_mutable_svals()
88 svalue_set::iterator end_mutable_svals () in end_mutable_svals()
118 svalue_set m_reachable_svals;
121 svalue_set m_mutable_svals;
|
| H A D | svalue.cc | 284 svalue::live_p (const svalue_set *live_svalues, in live_p()
289 if (const_cast<svalue_set *> (live_svalues)->contains (this)) in live_p()
300 svalue::implicitly_live_p (const svalue_set *, const region_model *) const in implicitly_live_p() argument
742 region_svalue::implicitly_live_p (const svalue_set *, in implicitly_live_p() argument
839 constant_svalue::implicitly_live_p (const svalue_set *, in implicitly_live_p() argument
1041 initial_svalue::implicitly_live_p (const svalue_set *, in implicitly_live_p() argument
1133 unaryop_svalue::implicitly_live_p (const svalue_set *live_svalues, in implicitly_live_p()
1236 binop_svalue::implicitly_live_p (const svalue_set *live_svalues, in implicitly_live_p()
1294 sub_svalue::implicitly_live_p (const svalue_set *live_svalues, in implicitly_live_p()
1504 bits_within_svalue::implicitly_live_p (const svalue_set *live_svalues, in implicitly_live_p()
[all …]
|
| H A D | program-state.cc | 562 sm_state_map::on_liveness_change (const svalue_set &live_svalues, in on_liveness_change()
566 svalue_set svals_to_unset; in on_liveness_change()
597 for (svalue_set::iterator iter = svals_to_unset.begin (); in on_liveness_change()
609 svalue_set svals_to_unset; in on_unknown_change()
636 for (svalue_set::iterator iter = svals_to_unset.begin (); in on_unknown_change()
653 svalue_set svals_to_unset; in purge_state_involving()
667 for (svalue_set::iterator iter = svals_to_unset.begin (); in purge_state_involving()
1309 const svalue_set &set) in log_set_of_svalues()
1314 for (svalue_set::iterator iter = set.begin (); in log_set_of_svalues()
1388 svalue_set known_src_svalues; in detect_leaks()
[all …]
|
| H A D | svalue.h | 151 bool live_p (const svalue_set *live_svalues,
153 virtual bool implicitly_live_p (const svalue_set *live_svalues,
238 bool implicitly_live_p (const svalue_set *,
287 bool implicitly_live_p (const svalue_set *,
563 bool implicitly_live_p (const svalue_set *,
637 bool implicitly_live_p (const svalue_set *,
733 bool implicitly_live_p (const svalue_set *,
814 bool implicitly_live_p (const svalue_set *,
984 bool implicitly_live_p (const svalue_set *,
1043 bool implicitly_live_p (const svalue_set *,
|
| H A D | region-model.h | 633 void get_reachable_svalues (svalue_set *out,
722 svalue_set *visited) const;
725 svalue_set *visited) const;
790 svalue_set *visited) const;
793 svalue_set *visited) const;
904 virtual void on_liveness_change (const svalue_set &live_svalues,
971 void on_liveness_change (const svalue_set &, in on_liveness_change() argument
1057 void on_liveness_change (const svalue_set &live_svalues, in on_liveness_change()
|
| H A D | store.h | 627 svalue_set *visited,
748 svalue_set *visited,
|
| H A D | program-state.h | 154 void on_liveness_change (const svalue_set &live_svalues,
|
| H A D | analyzer.h | 58 typedef hash_set<const svalue *> svalue_set; typedef
|
| H A D | region-model.cc | 1831 for (svalue_set::iterator iter in handle_unrecognized_call()
1839 for (svalue_set::iterator iter in handle_unrecognized_call()
1883 region_model::get_reachable_svalues (svalue_set *out, in get_reachable_svalues()
1914 for (svalue_set::iterator iter in get_reachable_svalues()
3344 svalue_set *visited) const in get_representative_path_var_1()
3425 svalue_set *visited) const in get_representative_path_var()
3450 svalue_set visited; in get_representative_tree()
3471 svalue_set *visited) const in get_representative_path_var_1()
3619 svalue_set *visited) const in get_representative_path_var()
5400 svalue_set visited; in test_get_representative_path_var()
[all …]
|
| H A D | constraint-manager.h | 471 void on_liveness_change (const svalue_set &live_svalues,
|
| H A D | exploded-graph.h | 53 void on_liveness_change (const svalue_set &live_svalues,
|
| H A D | store.cc | 1992 svalue_set *visited, in get_representative_path_vars()
2881 svalue_set *visited, in get_representative_path_vars()
|
| H A D | constraint-manager.cc | 2720 dead_svalue_purger (const svalue_set &live_svalues, in dead_svalue_purger()
2732 const svalue_set &m_live_svalues;
2741 on_liveness_change (const svalue_set &live_svalues, in on_liveness_change()
|
| H A D | engine.cc | 162 on_liveness_change (const svalue_set &live_svalues, in on_liveness_change()
825 svalue_set visited; in on_state_leak()
|
| H A D | ChangeLog | 4519 (svalue_set): New typedef.
5763 svalue_set to ensure termination.
|