Lines Matching refs:NonNegative

14035   bool NonNegative;  member
14037 IntRange(unsigned Width, bool NonNegative) in IntRange()
14038 : Width(Width), NonNegative(NonNegative) {} in IntRange()
14042 return NonNegative ? Width : Width - 1; in valueBits()
14128 bool Unsigned = L.NonNegative && R.NonNegative; in join()
14130 L.NonNegative && R.NonNegative); in join()
14136 bool NonNegative = false; in bit_and() local
14137 if (L.NonNegative) { in bit_and()
14139 NonNegative = true; in bit_and()
14141 if (R.NonNegative) { in bit_and()
14143 NonNegative = true; in bit_and()
14145 return IntRange(Bits, NonNegative); in bit_and()
14150 bool Unsigned = L.NonNegative && R.NonNegative; in sum()
14160 bool CanWiden = !L.NonNegative || !R.NonNegative; in difference()
14161 bool Unsigned = L.NonNegative && R.Width == 0; in difference()
14172 bool CanWiden = !L.NonNegative && !R.NonNegative; in product()
14173 bool Unsigned = L.NonNegative && R.NonNegative; in product()
14182 bool Unsigned = L.NonNegative; in rem()
14284 SubRange.NonNegative || OutputTypeRange.NonNegative); in GetExprRange()
14385 L.Width = (L.NonNegative ? 0 : 1); in GetExprRange()
14429 L.Width = (L.NonNegative ? 0 : 1); in GetExprRange()
14440 return IntRange(L.Width, L.NonNegative && R.NonNegative); in GetExprRange()
14462 C.NonNegative |= T->isUnsignedIntegerOrEnumerationType(); in GetExprRange()
14596 PromotedMin = llvm::APSInt::getMinValue(R.Width, R.NonNegative) in PromotedRange()
14600 PromotedMax = llvm::APSInt::getMaxValue(R.Width, R.NonNegative) in PromotedRange()
14829 << RhsConstant << OtherValueRange.Width << OtherValueRange.NonNegative in CheckTautologicalComparison()
14969 if (signedRange.NonNegative) in AnalyzeComparison()
14984 assert(unsignedRange.NonNegative && "unsigned range includes negative?"); in AnalyzeComparison()
15361 ValueInRange.setIsSigned(!Range.NonNegative); in PrettyPrintInRange()
16028 !TargetRange.NonNegative && LikelySourceRange.NonNegative && in CheckImplicitConversion()
16055 ((TargetRange.NonNegative && !LikelySourceRange.NonNegative) || in CheckImplicitConversion()
16056 (!TargetRange.NonNegative && LikelySourceRange.NonNegative && in CheckImplicitConversion()