Searched defs:old_smap (Results 1 – 3 of 3) sorted by relevance
1663 const sm_state_map *old_smap = m_old_state->m_checker_states[m_sm_idx]; in get_state() local1674 const sm_state_map *old_smap = m_old_state->m_checker_states[m_sm_idx]; in get_state() local
303 const sm_state_map *old_smap, in impl_sm_context()1393 const sm_state_map *old_smap in on_stmt() local3515 const sm_state_map *old_smap = old_state.m_checker_states[sm_idx]; in state_change_requires_new_enode_p() local
204 const sm_state_map *old_smap, in impl_sm_context()1092 const sm_state_map *old_smap in on_stmt() local