git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@362285
91177308-0d34-0410-b5e6-
96231b3b80d8
return None;
}
BasicBlock *TrueDest = BI->getSuccessor(0);
- BasicBlock *FalseDest = BI->getSuccessor(1);
- assert((TrueDest == L->getHeader() || FalseDest == L->getHeader()) &&
- "One of the latch's destinations must be the header");
+ assert(
+ (TrueDest == L->getHeader() || BI->getSuccessor(1) == L->getHeader()) &&
+ "One of the latch's destinations must be the header");
auto *ICI = dyn_cast<ICmpInst>(BI->getCondition());
if (!ICI || !BI->isConditional()) {