Searched refs:m_state_a (Results 1 – 3 of 3) sorted by relevance
1193 m_state_a (state_a), m_state_b (state_b) in model_merger()1214 const program_state *m_state_a; member
4429 if (m_state_a) in mergeable_svalue_p()4430 if (!m_state_a->can_purge_p (*m_ext_state, sval)) in mergeable_svalue_p()
1159 (model_merger::m_state_a): New field.