/netbsd-current/external/gpl3/gcc/dist/gcc/analyzer/ |
H A D | program-state.h | 26 /* Data shared by all program_state instances. */ 191 class program_state class in namespace:ana 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 (); [all...] |
H A D | program-state.cc | 727 /* class program_state. */ 729 /* program_state's ctor. */ 731 program_state::program_state (const extrinsic_state &ext_state) function in class:ana::program_state 747 /* program_state's copy ctor. */ 749 program_state::program_state (const program_state &other) function in class:ana::program_state 760 /* program_state's assignment operator. */ 762 program_state 784 program_state::program_state (program_state &&other) function in class:ana::program_state [all...] |
H A D | exploded-graph.h | 37 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; 108 /* A <program_point, program_state> pair, used internally by 116 const program_state &state) 136 const program_state &get_state () const { return m_state; } 138 void set_state (const program_state &state) 148 program_state m_stat [all...] |
H A D | engine.cc | 86 const program_state *old_state, 87 program_state *new_state, 105 impl_region_model_context (program_state *state, 190 so we only need to purge other state in the program_state: 301 const program_state *old_state, 302 program_state *new_state, 510 const program_state *get_old_program_state () const FINAL OVERRIDE 518 const program_state *m_old_state; 519 program_state *m_new_state; 1115 const program_state [all...] |
H A D | checker-path.h | 191 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 D | sm.cc | 168 if (const program_state *old_state = get_old_program_state ())
|
H A D | diagnostic-manager.cc | 1505 const program_state &dst_state = dst_node->get_state (); 1535 const program_state &dst_state = dst_node->get_state (); 1587 for_each_state_change (const program_state &src_state, 1588 const program_state &dst_state, 1641 const program_state *old_state, 1642 const program_state *new_state, 1768 const program_state *get_old_program_state () const FINAL OVERRIDE 1773 const program_state *m_old_state; 1774 const program_state *m_new_state; 1808 const program_state [all...] |
H A D | region-model.h | 760 const program_state *state_a = NULL, 761 const program_state *state_b = NULL) const; 882 operations needed by program_state in the analyzer within region_model, 950 any underlying program_state. */ 1187 const program_state *state_a, 1188 const program_state *state_b) 1214 const program_state *m_state_a; 1215 const program_state *m_state_b;
|
H A D | sm-signal.cc | 273 program_state state_entering_handler (eg->get_ext_state ());
|
H A D | sm.h | 277 virtual const program_state *get_old_program_state () const = 0;
|
H A D | checker-path.cc | 184 const program_state &dst_state) 257 const program_state &dst_state)
|
H A D | analyzer.h | 97 class program_state;
|
H A D | sm-malloc.cc | 1836 if (const program_state *old_state = sm_ctxt->get_old_program_state ())
|
H A D | region-model.cc | 1630 (if non-NULL) to purge other state in a program_state. 3289 in a program_state can be notified about the condition, and so can 4197 const program_state *state_a, 4198 const program_state *state_b) const
|
/netbsd-current/external/gpl3/gcc.old/dist/gcc/analyzer/ |
H A D | program-state.h | 26 /* Data shared by all program_state instances. */ 223 class program_state class in namespace:ana 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 [all...] |
H A D | program-state.cc | 593 /* class program_state. */ 595 /* program_state's ctor. */ 597 program_state::program_state (const extrinsic_state &ext_state) function in class:ana::program_state 607 /* program_state's copy ctor. */ 609 program_state::program_state (const program_state &other) function in class:ana::program_state 620 /* program_state's assignment operator. */ 622 program_state 645 program_state::program_state (program_state &&other) function in class:ana::program_state [all...] |
H A D | exploded-graph.h | 37 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; 94 /* A <program_point, program_state> pair, used internally by 102 const program_state &state) 122 const program_state &get_state () const { return m_state; } 124 void set_state (const program_state &state) 134 program_state m_stat [all...] |
H A D | analyzer.h | 63 class program_state;
|
H A D | checker-path.h | 165 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 D | engine.cc | 77 const program_state *old_state, 78 program_state *new_state, 94 impl_region_model_context (program_state *state, 201 const program_state *old_state, 202 program_state *new_state, 344 const program_state *m_old_state; 345 program_state *m_new_state; 818 const program_state &state = get_state (); 873 const program_state &state = m_ps.get_state (); 1005 program_state *stat [all...] |
H A D | diagnostic-manager.cc | 589 const program_state &dst_state) 663 const program_state &dst_state = dst_node->get_state (); 691 const program_state &dst_state = dst_node->get_state (); 747 for_each_state_change (const program_state &src_state, 748 const program_state &dst_state, 837 const program_state &src_state = src_node->get_state (); 838 const program_state &dst_state = dst_node->get_state ();
|
H A D | sm-signal.cc | 235 program_state state_entering_handler (eg->get_ext_state ());
|
H A D | checker-path.cc | 176 const program_state &dst_state) 221 const program_state &dst_state)
|