Lines Matching refs:NonNegative
11971 bool NonNegative; member
11973 IntRange(unsigned Width, bool NonNegative) in IntRange()
11974 : Width(Width), NonNegative(NonNegative) {} in IntRange()
11978 return NonNegative ? Width : Width - 1; in valueBits()
12064 bool Unsigned = L.NonNegative && R.NonNegative; in join()
12066 L.NonNegative && R.NonNegative); in join()
12072 bool NonNegative = false; in bit_and() local
12073 if (L.NonNegative) { in bit_and()
12075 NonNegative = true; in bit_and()
12077 if (R.NonNegative) { in bit_and()
12079 NonNegative = true; in bit_and()
12081 return IntRange(Bits, NonNegative); in bit_and()
12086 bool Unsigned = L.NonNegative && R.NonNegative; in sum()
12096 bool CanWiden = !L.NonNegative || !R.NonNegative; in difference()
12097 bool Unsigned = L.NonNegative && R.Width == 0; in difference()
12108 bool CanWiden = !L.NonNegative && !R.NonNegative; in product()
12109 bool Unsigned = L.NonNegative && R.NonNegative; in product()
12118 bool Unsigned = L.NonNegative; in rem()
12220 SubRange.NonNegative || OutputTypeRange.NonNegative); in GetExprRange()
12322 L.Width = (L.NonNegative ? 0 : 1); in GetExprRange()
12366 L.Width = (L.NonNegative ? 0 : 1); in GetExprRange()
12377 return IntRange(L.Width, L.NonNegative && R.NonNegative); in GetExprRange()
12399 C.NonNegative |= T->isUnsignedIntegerOrEnumerationType(); in GetExprRange()
12533 PromotedMin = llvm::APSInt::getMinValue(R.Width, R.NonNegative) in PromotedRange()
12537 PromotedMax = llvm::APSInt::getMaxValue(R.Width, R.NonNegative) in PromotedRange()
12766 << RhsConstant << OtherValueRange.Width << OtherValueRange.NonNegative in CheckTautologicalComparison()
12903 if (signedRange.NonNegative) in AnalyzeComparison()
12918 assert(unsignedRange.NonNegative && "unsigned range includes negative?"); in AnalyzeComparison()
13289 ValueInRange.setIsSigned(!Range.NonNegative); in PrettyPrintInRange()
13947 !TargetRange.NonNegative && LikelySourceRange.NonNegative && in CheckImplicitConversion()
13974 ((TargetRange.NonNegative && !LikelySourceRange.NonNegative) || in CheckImplicitConversion()
13975 (!TargetRange.NonNegative && LikelySourceRange.NonNegative && in CheckImplicitConversion()