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