Lines Matching refs:NonNegative
6975 bool NonNegative; member
6977 IntRange(unsigned Width, bool NonNegative) in IntRange()
6978 : Width(Width), NonNegative(NonNegative) in IntRange()
7051 L.NonNegative && R.NonNegative); in join()
7057 L.NonNegative || R.NonNegative); in meet()
7148 SubRange.NonNegative || OutputTypeRange.NonNegative); in GetExprRange()
7236 L.Width = (L.NonNegative ? 0 : 1); in GetExprRange()
7266 L.Width = (L.NonNegative ? 0 : 1); in GetExprRange()
7274 return IntRange(L.Width, L.NonNegative && R.NonNegative); in GetExprRange()
7477 if (!OtherRange.NonNegative) { in DiagnoseOutOfRangeComparison()
7498 if (OtherRange.NonNegative) { in DiagnoseOutOfRangeComparison()
7721 if (signedRange.NonNegative) in AnalyzeComparison()
7734 assert(unsignedRange.NonNegative && "unsigned range includes negative?"); in AnalyzeComparison()
7941 ValueInRange.setIsSigned(!Range.NonNegative); in PrettyPrintInRange()
8345 if (TargetRange.Width == SourceRange.Width && !TargetRange.NonNegative && in CheckImplicitConversion()
8346 SourceRange.NonNegative && Source->isSignedIntegerType()) { in CheckImplicitConversion()
8370 if ((TargetRange.NonNegative && !SourceRange.NonNegative) || in CheckImplicitConversion()
8371 (!TargetRange.NonNegative && SourceRange.NonNegative && in CheckImplicitConversion()