git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@250404
91177308-0d34-0410-b5e6-
96231b3b80d8
unsigned BitsPossiblySet = BitWidth - KnownZero2.countPopulation();
unsigned LeadingZeros =
APInt(BitWidth, BitsPossiblySet).countLeadingZeros();
- assert(LeadingZeros >= 0 && LeadingZeros <= BitWidth);
+ assert(LeadingZeros <= BitWidth);
KnownZero |= APInt::getHighBitsSet(BitWidth, LeadingZeros);
KnownOne &= ~KnownZero;
// TODO: we could bound KnownOne using the lower bound on the number