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