[SCEV] Change an early exit to an assert; NFC
llvm-svn: 309480
diff --git a/llvm/lib/Analysis/ScalarEvolution.cpp b/llvm/lib/Analysis/ScalarEvolution.cpp
index ecd124a..b1cbf91 100644
--- a/llvm/lib/Analysis/ScalarEvolution.cpp
+++ b/llvm/lib/Analysis/ScalarEvolution.cpp
@@ -7337,8 +7337,8 @@
Value *BEValue = PN->getIncomingValueForBlock(Latch);
// Execute the loop symbolically to determine the exit value.
- if (BEs.getActiveBits() >= 32)
- return RetVal = nullptr; // More than 2^32-1 iterations?? Not doing it!
+ assert(BEs.getActiveBits() < CHAR_BIT * sizeof(unsigned) &&
+ "BEs is <= MaxBruteForceIterations which is an 'unsigned'!");
unsigned NumIterations = BEs.getZExtValue(); // must be in range
unsigned IterationNum = 0;