Lines Matching defs:RMax

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,
933                                                        llvm::APSInt RMax,
937   if (RMin.isZero() && RMax.isZero())
939   else if (RMin == RMax)
942     if (RMax == -1)
945       Out << "<= " << RMax;
946   } else if (RMax == BVF.getMaxValue(ArgT)) {
951   } else if (RMin.isNegative() == RMax.isNegative() &&
952              RMin.getLimitedValue() == RMax.getLimitedValue() - 1) {
953     Out << RMin << " or " << RMax;
955     Out << "between " << RMin << " and " << RMax;
960                                                       llvm::APSInt RMax,
964   if (RMin.isZero() && RMax.isZero())
966   else if (RMin == RMax) {
969     if (RMax == -1)
972       Out << "> " << RMax;
973   } else if (RMax == BVF.getMaxValue(ArgT)) {
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;