reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
9640 Pair.first; 9641 Pair = getPredecessorWithUniqueSuccessorForBB(Pair.first)) { 9641 Pair = getPredecessorWithUniqueSuccessorForBB(Pair.first)) { 9643 if (ProveViaGuard(Pair.first)) 9647 dyn_cast<BranchInst>(Pair.first->getTerminator()); 9653 LoopEntryPredicate->getSuccessor(0) != Pair.second))