Searched refs:old_ec (Results 1 – 2 of 2) sorted by relevance
697 equiv_class *old_ec = m_equiv_classes[rhs_ec_id.m_idx]; in add_constraint() local699 if (final_ec != old_ec) in add_constraint()701 delete old_ec; in add_constraint()
1889 equiv_class *old_ec = m_equiv_classes[rhs_ec_id.m_idx]; in add_unknown_constraint() local1891 if (final_ec != old_ec) in add_unknown_constraint()1893 delete old_ec; in add_unknown_constraint()