Searched defs:new_smap (Results 1 – 2 of 2) sorted by relevance
304 sm_state_map *new_smap, in impl_sm_context()1395 sm_state_map *new_smap = state->m_checker_states[sm_idx]; in on_stmt() local3516 const sm_state_map *new_smap = new_state.m_checker_states[sm_idx]; in state_change_requires_new_enode_p() local
205 sm_state_map *new_smap, in impl_sm_context()1094 sm_state_map *new_smap = state->m_checker_states[sm_idx]; in on_stmt() local