Lines Matching defs:RMin

115   /// Append textual description of a numeric range [RMin,RMax] to
117   static void appendInsideRangeDesc(llvm::APSInt RMin, llvm::APSInt RMax,
120   /// Append textual description of a numeric range out of [RMin,RMax] to
122   static void appendOutOfRangeDesc(llvm::APSInt RMin, llvm::APSInt RMax,
932 void StdLibraryFunctionsChecker::appendInsideRangeDesc(llvm::APSInt RMin,
937   if (RMin.isZero() && RMax.isZero())
939   else if (RMin == RMax)
940     Out << RMin;
941   else if (RMin == BVF.getMinValue(ArgT)) {
947     if (RMin.isOne())
950       Out << ">= " << RMin;
951   } else if (RMin.isNegative() == RMax.isNegative() &&
952              RMin.getLimitedValue() == RMax.getLimitedValue() - 1) {
953     Out << RMin << " or " << RMax;
955     Out << "between " << RMin << " and " << RMax;
959 void StdLibraryFunctionsChecker::appendOutOfRangeDesc(llvm::APSInt RMin,
964   if (RMin.isZero() && RMax.isZero())
966   else if (RMin == RMax) {
967     Out << "not equal to " << RMin;
968   } else if (RMin == BVF.getMinValue(ArgT)) {
974     if (RMin.isOne())
977       Out << "< " << RMin;
978   } else if (RMin.isNegative() == RMax.isNegative() &&
979              RMin.getLimitedValue() == RMax.getLimitedValue() - 1) {
980     Out << "not " << RMin << " and not " << RMax;
982     Out << "not between " << RMin << " and " << RMax;