Searched defs:ec_idx (Results 1 – 2 of 2) sorted by relevance
1077 for (unsigned ec_idx = 0; ec_idx < m_equiv_classes.length (); ) in purge() local1150 for (unsigned ec_idx = 0; ec_idx < m_equiv_classes.length (); ) in purge() local1401 unsigned ec_idx; in clean_merger_input() local1454 unsigned ec_idx; in for_each_fact() local
2564 for (unsigned ec_idx = 0; ec_idx < m_equiv_classes.length (); ) in purge() local2660 for (unsigned ec_idx = 0; ec_idx < m_equiv_classes.length (); ) in purge() local2994 unsigned ec_idx; in for_each_fact() local