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