Searched refs:CurrentLevel (Results 1 – 1 of 1) sorted by relevance
778 const unsigned CurrentLevel = TN->getLevel(); in InsertReachable() local780 "as affected, CurrentLevel " << CurrentLevel << "\n"); in InsertReachable()812 if (SuccLevel > CurrentLevel) { in InsertReachable()