Searched refs:NCDLevel (Results 1 – 1 of 1) sorted by relevance
777 const unsigned NCDLevel = NCD->getLevel(); in VisitInsertion() local823 } else if ((SuccLevel > NCDLevel + 1) && in VisitInsertion()