Searched refs:NCDLevel (Results 1 – 1 of 1) sorted by relevance
754 const unsigned NCDLevel = NCD->getLevel(); in InsertReachable() local766 if (NCDLevel + 1 >= To->getLevel()) in InsertReachable()810 if (SuccLevel <= NCDLevel + 1 || !II.Visited.insert(SuccTN).second) in InsertReachable()