| /netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| H A D | program-state.cc | 106 sm_state_map::sm_state_map () in sm_state_map() function in ana::sm_state_map
113 sm_state_map *
114 sm_state_map::clone () const in clone()
116 return new sm_state_map (*this); in clone()
125 sm_state_map *
126 sm_state_map::clone_with_remapping (const one_way_svalue_id_map &id_map) const in clone_with_remapping()
128 sm_state_map *result = new sm_state_map (); in clone_with_remapping()
157 sm_state_map::print (const state_machine &sm, const region_model *model, in print()
206 sm_state_map::dump (const state_machine &sm) const in dump()
220 sm_state_map::is_empty_p () const in is_empty_p()
[all …]
|
| H A D | program-state.h | 109 class sm_state_map
142 sm_state_map ();
144 sm_state_map *clone () const;
146 sm_state_map *
157 bool operator== (const sm_state_map &other) const;
158 bool operator!= (const sm_state_map &other) const
272 sm_state_map *smap;
290 auto_delete_vec<sm_state_map> m_checker_states;
|
| H A D | engine.cc | 132 sm_state_map *smap; in on_svalue_purge()
148 sm_state_map *smap; in on_unknown_change()
204 const sm_state_map *old_smap, in impl_sm_context()
205 sm_state_map *new_smap, in impl_sm_context()
347 const sm_state_map *m_old_smap;
348 sm_state_map *m_new_smap;
620 sm_state_map *smap; in on_inherited_svalue()
642 sm_state_map *smap; in on_cast()
655 sm_state_map *smap; in on_condition()
678 sm_state_map *smap; in on_phi()
[all …]
|
| H A D | analyzer.h | 60 class sm_state_map; variable
|
| H A D | diagnostic-manager.cc | 759 const sm_state_map &src_smap = *src_state.m_checker_states[i]; in for_each_state_change()
760 const sm_state_map &dst_smap = *dst_state.m_checker_states[i]; in for_each_state_change()
770 for (sm_state_map::iterator_t iter = dst_smap.begin (); in for_each_state_change()
|
| /netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/ |
| H A D | program-state.cc | 158 sm_state_map::entry_t::cmp (const entry_t &entry_a, const entry_t &entry_b) in cmp()
178 sm_state_map::sm_state_map (const state_machine &sm) in sm_state_map() function in ana::sm_state_map
185 sm_state_map *
186 sm_state_map::clone () const in clone()
188 return new sm_state_map (*this); in clone()
196 sm_state_map::print (const region_model *model, in print()
273 sm_state_map::dump (bool simple) const in dump()
289 sm_state_map::to_json () const in to_json()
315 sm_state_map::is_empty_p () const in is_empty_p()
323 sm_state_map::hash () const in hash()
[all …]
|
| H A D | program-state.h | 74 class sm_state_map
109 sm_state_map (const state_machine &sm);
111 sm_state_map *clone () const;
124 bool operator== (const sm_state_map &other) const;
125 bool operator!= (const sm_state_map &other) const
169 static int cmp (const sm_state_map &smap_a, const sm_state_map &smap_b);
250 sm_state_map *smap; in can_purge_p()
282 auto_delete_vec<sm_state_map> m_checker_states;
|
| H A D | ChangeLog | 1197 * program-state.cc (sm_state_map::get_state): Call
1199 (sm_state_map::impl_set_state): Modify states within
1272 * program-state.cc (sm_state_map::dump): Use default_tree_printer
1851 * program-state.cc (sm_state_map::set_state): Likewise.
1852 (sm_state_map::impl_set_state): Add assertion.
1989 * program-state.cc (sm_state_map::get_state): Inherit state for
1991 (sm_state_map::purge_state_involving): Also support SK_CONJURED.
2545 * program-state.cc (sm_state_map::set_state): Likewise.
2701 * program-state.cc (sm_state_map::on_liveness_change): Get
2876 * program-state.cc (sm_state_map::purge_state_involving): New.
[all …]
|
| H A D | engine.cc | 156 for (sm_state_map *smap : m_new_state->m_checker_states) in on_svalue_leak()
165 for (sm_state_map *smap : m_new_state->m_checker_states) in on_liveness_change()
173 for (sm_state_map *smap : m_new_state->m_checker_states) in on_unknown_change()
197 sm_state_map *smap; in purge_state_involving()
219 impl_region_model_context::get_malloc_map (sm_state_map **out_smap, in get_malloc_map()
234 impl_region_model_context::get_taint_map (sm_state_map **out_smap, in get_taint_map()
303 const sm_state_map *old_smap, in impl_sm_context()
304 sm_state_map *new_smap, in impl_sm_context()
520 const sm_state_map *m_old_smap;
521 sm_state_map *m_new_smap;
[all …]
|
| H A D | region-model.h | 951 virtual bool get_malloc_map (sm_state_map **out_smap,
955 virtual bool get_taint_map (sm_state_map **out_smap,
1000 bool get_malloc_map (sm_state_map **, in get_malloc_map() argument
1006 bool get_taint_map (sm_state_map **, in get_taint_map() argument
1121 bool get_malloc_map (sm_state_map **out_smap, in get_malloc_map()
1128 bool get_taint_map (sm_state_map **out_smap, in get_taint_map()
|
| H A D | sm-taint.cc | 85 state_t alt_get_inherited_state (const sm_state_map &map,
679 taint_state_machine::alt_get_inherited_state (const sm_state_map &map, in alt_get_inherited_state()
1031 sm_state_map *smap; in check_region_for_taint()
1137 sm_state_map *smap; in check_dynamic_size_for_taint()
|
| H A D | sm.h | 74 alt_get_inherited_state (const sm_state_map &, in alt_get_inherited_state() argument
|
| H A D | diagnostic-manager.cc | 1599 const sm_state_map &src_smap = *src_state.m_checker_states[i]; in for_each_state_change()
1600 const sm_state_map &dst_smap = *dst_state.m_checker_states[i]; in for_each_state_change()
1610 for (sm_state_map::iterator_t iter = dst_smap.begin (); in for_each_state_change()
1663 const sm_state_map *old_smap = m_old_state->m_checker_states[m_sm_idx]; in get_state()
1674 const sm_state_map *old_smap = m_old_state->m_checker_states[m_sm_idx]; in get_state()
|
| H A D | exploded-graph.h | 87 bool get_malloc_map (sm_state_map **out_smap,
90 bool get_taint_map (sm_state_map **out_smap,
|
| H A D | analyzer.h | 93 class sm_state_map; variable
|
| H A D | sm-malloc.cc | 398 sm_state_map *smap,
2094 sm_state_map *smap, in on_realloc_with_move()
2133 sm_state_map *smap; in on_realloc_with_move()
|