| /src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| pending-diagnostic.h | 72 m_old_state (old_state), m_new_state (new_state),
80 state_machine::state_t m_old_state; member in struct:ana::evdesc::state_change
|
| engine.cc | 94 m_old_state (old_state),
110 m_old_state (NULL),
311 m_old_state (old_state), m_new_state (new_state),
338 = m_old_state->m_region_model->get_rvalue (var, NULL);
363 m_old_state, m_new_state,
396 m_old_state, m_new_state,
425 (m_eg, m_enode_for_diag, m_old_state, m_new_state, NULL, NULL, NULL);
428 = m_old_state->m_region_model->get_rvalue (var, &old_ctxt);
469 return m_old_state->m_checker_states[m_sm_idx]->get_global_state ();
490 (m_eg, m_enode_for_diag, m_old_state, m_new_state, NULL, NULL, stmt)
518 const program_state *m_old_state; member in class:ana::impl_sm_context
[all...] |
| exploded-graph.h | 99 const program_state *m_old_state; member in class:ana::impl_region_model_context
|
| diagnostic-manager.cc | 1647 : sm_context (sm_idx, sm), m_old_state (old_state), m_new_state (new_state),
1662 = m_old_state->m_region_model->get_rvalue (var, NULL);
1663 const sm_state_map *old_smap = m_old_state->m_checker_states[m_sm_idx];
1674 const sm_state_map *old_smap = m_old_state->m_checker_states[m_sm_idx];
1770 return m_old_state;
1773 const program_state *m_old_state; member in struct:ana::null_assignment_sm_context
|
| /src/external/gpl3/gcc/dist/gcc/analyzer/ |
| pending-diagnostic.h | 76 m_old_state (old_state), m_new_state (new_state),
84 state_machine::state_t m_old_state; member in struct:ana::evdesc::state_change
|
| engine.cc | 92 m_old_state (old_state),
109 m_old_state (NULL),
294 m_old_state (old_state), m_new_state (new_state),
321 = m_old_state->m_region_model->get_rvalue (var, NULL);
401 = m_old_state->m_region_model->get_rvalue (var, NULL);
469 return m_old_state->m_checker_states[m_sm_idx]->get_global_state ();
495 (m_eg, m_enode_for_diag, m_old_state, m_new_state, NULL, NULL, stmt);
517 return m_old_state;
528 const program_state *m_old_state; member in class:ana::impl_sm_context
563 const sm_state_map *old_smap = m_old_state->m_checker_states[sm_idx]
[all...] |
| exploded-graph.h | 122 const program_state *m_old_state; member in class:ana::impl_region_model_context
|
| diagnostic-manager.cc | 1930 : sm_context (sm_idx, sm), m_old_state (old_state), m_new_state (new_state),
1945 = m_old_state->m_region_model->get_rvalue (var, NULL);
1946 const sm_state_map *old_smap = m_old_state->m_checker_states[m_sm_idx];
1957 const sm_state_map *old_smap = m_old_state->m_checker_states[m_sm_idx];
2070 return m_old_state;
2084 const program_state *m_old_state; member in struct:ana::null_assignment_sm_context
|
