Lines Matching defs:ec_idx
2564 for (unsigned ec_idx = 0; ec_idx < m_equiv_classes.length (); )
2566 equiv_class *ec = m_equiv_classes[ec_idx];
2586 m_equiv_classes.ordered_remove (ec_idx);
2596 if (c->m_lhs == ec_idx
2597 || c->m_rhs == ec_idx)
2607 c->m_lhs.update_for_removal (ec_idx);
2608 c->m_rhs.update_for_removal (ec_idx);
2622 if (brc->m_ec_id == ec_idx)
2632 brc->m_ec_id.update_for_removal (ec_idx);
2638 ec_idx++;
2660 for (unsigned ec_idx = 0; ec_idx < m_equiv_classes.length (); )
2662 equiv_class *ec = m_equiv_classes[ec_idx];
2665 equiv_class_id ec_id (ec_idx);
2681 m_equiv_classes.ordered_remove (ec_idx);
2691 c->m_lhs.update_for_removal (ec_idx);
2692 c->m_rhs.update_for_removal (ec_idx);
2702 brc->m_ec_id.update_for_removal (ec_idx);
2708 ec_idx++;
2994 unsigned ec_idx;
2996 FOR_EACH_VEC_ELT (m_equiv_classes, ec_idx, ec)
Indexes created Wed Jul 22 00:25:13 UTC 2026