Lines Matching refs:NonNegative
12294 bool NonNegative; member
12296 IntRange(unsigned Width, bool NonNegative) in IntRange()
12297 : Width(Width), NonNegative(NonNegative) {} in IntRange()
12301 return NonNegative ? Width : Width - 1; in valueBits()
12387 bool Unsigned = L.NonNegative && R.NonNegative; in join()
12389 L.NonNegative && R.NonNegative); in join()
12395 bool NonNegative = false; in bit_and() local
12396 if (L.NonNegative) { in bit_and()
12398 NonNegative = true; in bit_and()
12400 if (R.NonNegative) { in bit_and()
12402 NonNegative = true; in bit_and()
12404 return IntRange(Bits, NonNegative); in bit_and()
12409 bool Unsigned = L.NonNegative && R.NonNegative; in sum()
12419 bool CanWiden = !L.NonNegative || !R.NonNegative; in difference()
12420 bool Unsigned = L.NonNegative && R.Width == 0; in difference()
12431 bool CanWiden = !L.NonNegative && !R.NonNegative; in product()
12432 bool Unsigned = L.NonNegative && R.NonNegative; in product()
12441 bool Unsigned = L.NonNegative; in rem()
12543 SubRange.NonNegative || OutputTypeRange.NonNegative); in GetExprRange()
12645 L.Width = (L.NonNegative ? 0 : 1); in GetExprRange()
12689 L.Width = (L.NonNegative ? 0 : 1); in GetExprRange()
12700 return IntRange(L.Width, L.NonNegative && R.NonNegative); in GetExprRange()
12722 C.NonNegative |= T->isUnsignedIntegerOrEnumerationType(); in GetExprRange()
12856 PromotedMin = llvm::APSInt::getMinValue(R.Width, R.NonNegative) in PromotedRange()
12860 PromotedMax = llvm::APSInt::getMaxValue(R.Width, R.NonNegative) in PromotedRange()
13089 << RhsConstant << OtherValueRange.Width << OtherValueRange.NonNegative in CheckTautologicalComparison()
13228 if (signedRange.NonNegative) in AnalyzeComparison()
13243 assert(unsignedRange.NonNegative && "unsigned range includes negative?"); in AnalyzeComparison()
13620 ValueInRange.setIsSigned(!Range.NonNegative); in PrettyPrintInRange()
14279 !TargetRange.NonNegative && LikelySourceRange.NonNegative && in CheckImplicitConversion()
14306 ((TargetRange.NonNegative && !LikelySourceRange.NonNegative) || in CheckImplicitConversion()
14307 (!TargetRange.NonNegative && LikelySourceRange.NonNegative && in CheckImplicitConversion()