Home
last modified time | relevance | path

Searched refs:program_state (Results 1 – 25 of 28) sorted by relevance

12

/netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Dprogram-state.h223 class program_state
226 program_state (const extrinsic_state &ext_state);
227 program_state (const program_state &other);
228 program_state& operator= (const program_state &other);
231 program_state (program_state &&other);
232 program_state& operator= (program_state &&other); // doesn't seem to be used
235 ~program_state ();
238 bool operator== (const program_state &other) const;
239 bool operator!= (const program_state &other) const
258 program_state prune_for_point (exploded_graph &eg,
[all …]
H A Dprogram-state.cc597 program_state::program_state (const extrinsic_state &ext_state) in program_state() function in ana::program_state
609 program_state::program_state (const program_state &other) in program_state() function in ana::program_state
622 program_state&
623 program_state::operator= (const program_state &other) in operator =()
645 program_state::program_state (program_state &&other) in program_state() function in ana::program_state
663 program_state::~program_state () in ~program_state()
671 program_state::hash () const in hash()
688 program_state::operator== (const program_state &other) const in operator ==()
707 program_state::print (const extrinsic_state &ext_state, in print()
737 program_state::dump_to_pp (const extrinsic_state &ext_state, in dump_to_pp()
[all …]
H A Dexploded-graph.h37 const program_state *old_state,
38 program_state *new_state,
44 impl_region_model_context (program_state *state,
86 const program_state *m_old_state;
87 program_state *m_new_state;
102 const program_state &state) in point_and_state()
122 const program_state &get_state () const { return m_state; } in get_state()
124 void set_state (const program_state &state) in set_state()
134 program_state m_state;
227 program_state *state,
[all …]
H A Dengine.cc77 const program_state *old_state, in impl_region_model_context()
78 program_state *new_state, in impl_region_model_context()
94 impl_region_model_context (program_state *state, in impl_region_model_context()
201 const program_state *old_state, in impl_sm_context()
202 program_state *new_state, in impl_sm_context()
344 const program_state *m_old_state;
345 program_state *m_new_state;
818 const program_state &state = get_state (); in get_dot_fillcolor()
873 const program_state &state = m_ps.get_state (); in dump_dot()
1005 program_state *state, in on_stmt()
[all …]
H A Dchecker-path.h165 const program_state &dst_state);
170 const program_state m_dst_state;
200 const program_state &dst_state);
216 program_state m_dst_state;
H A Ddiagnostic-manager.cc589 const program_state &dst_state) in get_any_origin()
663 const program_state &dst_state = dst_node->get_state (); in on_global_state_change()
691 const program_state &dst_state = dst_node->get_state (); in on_state_change()
747 for_each_state_change (const program_state &src_state, in for_each_state_change()
748 const program_state &dst_state, in for_each_state_change()
837 const program_state &src_state = src_node->get_state (); in add_events_for_eedge()
838 const program_state &dst_state = dst_node->get_state (); in add_events_for_eedge()
H A Danalyzer.h63 class program_state; variable
H A Dchecker-path.cc176 const program_state &dst_state) in statement_event()
221 const program_state &dst_state) in state_change_event()
H A Dsm-signal.cc235 program_state state_entering_handler (eg->get_ext_state ()); in impl_transition()
/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dprogram-state.h191 class program_state
194 program_state (const extrinsic_state &ext_state);
195 program_state (const program_state &other);
196 program_state& operator= (const program_state &other);
197 program_state (program_state &&other);
198 ~program_state ();
201 bool operator== (const program_state &other) const;
202 bool operator!= (const program_state &other) const
237 program_state prune_for_point (exploded_graph &eg,
263 bool can_merge_with_p (const program_state &other,
[all …]
H A Dprogram-state.cc731 program_state::program_state (const extrinsic_state &ext_state) in program_state() function in ana::program_state
749 program_state::program_state (const program_state &other) in program_state() function in ana::program_state
762 program_state&
763 program_state::operator= (const program_state &other) in operator =()
784 program_state::program_state (program_state &&other) in program_state() function in ana::program_state
801 program_state::~program_state () in ~program_state()
809 program_state::hash () const in hash()
826 program_state::operator== (const program_state &other) const in operator ==()
845 program_state::print (const extrinsic_state &ext_state, in print()
873 program_state::dump_to_pp (const extrinsic_state &ext_state, in dump_to_pp()
[all …]
H A Dexploded-graph.h37 const program_state *old_state,
38 program_state *new_state,
45 impl_region_model_context (program_state *state,
99 const program_state *m_old_state;
100 program_state *m_new_state;
116 const program_state &state) in point_and_state()
136 const program_state &get_state () const { return m_state; } in get_state()
138 void set_state (const program_state &state) in set_state()
148 program_state m_state;
244 program_state *state,
[all …]
H A Dengine.cc86 const program_state *old_state, in impl_region_model_context()
87 program_state *new_state, in impl_region_model_context()
105 impl_region_model_context (program_state *state, in impl_region_model_context()
301 const program_state *old_state, in impl_sm_context()
302 program_state *new_state, in impl_sm_context()
510 const program_state *get_old_program_state () const FINAL OVERRIDE in get_old_program_state()
518 const program_state *m_old_state;
519 program_state *m_new_state;
1115 const program_state &state = get_state (); in get_dot_fillcolor()
1176 const program_state &state = m_ps.get_state (); in dump_dot()
[all …]
H A Dchecker-path.h191 const program_state &dst_state);
196 const program_state m_dst_state;
241 const program_state &dst_state);
257 program_state m_dst_state;
H A Ddiagnostic-manager.cc1505 const program_state &dst_state = dst_node->get_state (); in on_global_state_change()
1535 const program_state &dst_state = dst_node->get_state (); in on_state_change()
1587 for_each_state_change (const program_state &src_state, in for_each_state_change()
1588 const program_state &dst_state, in for_each_state_change()
1641 const program_state *old_state, in null_assignment_sm_context()
1642 const program_state *new_state, in null_assignment_sm_context()
1768 const program_state *get_old_program_state () const FINAL OVERRIDE in get_old_program_state()
1773 const program_state *m_old_state;
1774 const program_state *m_new_state;
1808 const program_state &src_state = src_node->get_state (); in add_events_for_eedge()
[all …]
H A DChangeLog410 * program-state.cc (program_state::prune_for_point): Generalize to
412 (program_state::can_purge_base_region_p): New.
413 * program-state.h (program_state::can_purge_base_region_p): New
1135 m_ext_state to program_state::can_merge_with_p.
1141 * program-state.cc (program_state::can_merge_with_p): Add
1145 param of program_state::can_merge_with_p.
1147 * program-state.h (program_state::can_purge_p): Make const.
1148 (program_state::can_merge_with_p): Add "ext_state" param.
1201 (program_state::impl_call_analyzer_dump_state): Undo casts.
1360 * program-state.cc (program_state::on_edge): Update for new
[all …]
H A Dregion-model.h760 const program_state *state_a = NULL,
761 const program_state *state_b = NULL) const;
1187 const program_state *state_a, in model_merger()
1188 const program_state *state_b) in model_merger()
1214 const program_state *m_state_a;
1215 const program_state *m_state_b;
H A Dsm.cc168 if (const program_state *old_state = get_old_program_state ()) in get_old_region_model()
H A Dchecker-path.cc184 const program_state &dst_state) in statement_event()
257 const program_state &dst_state) in state_change_event()
H A Dsm.h277 virtual const program_state *get_old_program_state () const = 0;
H A Dsm-signal.cc273 program_state state_entering_handler (eg->get_ext_state ()); in impl_transition()
H A Danalyzer.h97 class program_state; variable
H A Dsm-malloc.cc1836 if (const program_state *old_state = sm_ctxt->get_old_program_state ()) in handle_free_of_non_heap()
/netbsd-src/external/gpl3/gcc/dist/gcc/doc/
H A Danalyzer.texi174 program_state instances to make a third, simpler program_state.
264 Here's an example of printing a @code{program_state}, showing the
545 @code{program_state::validate}.
/netbsd-src/external/gpl3/gcc.old/dist/gcc/doc/
H A Danalyzer.texi169 program_state instances to make a third, simpler program_state.
399 @code{program_state} or @code{region_model}. The latter approach might be

12