Lines Matching refs:RMax
117 static void appendInsideRangeDesc(llvm::APSInt RMin, llvm::APSInt RMax,
122 static void appendOutOfRangeDesc(llvm::APSInt RMin, llvm::APSInt RMax,
933 llvm::APSInt RMax, in appendInsideRangeDesc() argument
937 if (RMin.isZero() && RMax.isZero()) in appendInsideRangeDesc()
939 else if (RMin == RMax) in appendInsideRangeDesc()
942 if (RMax == -1) in appendInsideRangeDesc()
945 Out << "<= " << RMax; in appendInsideRangeDesc()
946 } else if (RMax == BVF.getMaxValue(ArgT)) { in appendInsideRangeDesc()
951 } else if (RMin.isNegative() == RMax.isNegative() && in appendInsideRangeDesc()
952 RMin.getLimitedValue() == RMax.getLimitedValue() - 1) { in appendInsideRangeDesc()
953 Out << RMin << " or " << RMax; in appendInsideRangeDesc()
955 Out << "between " << RMin << " and " << RMax; in appendInsideRangeDesc()
960 llvm::APSInt RMax, in appendOutOfRangeDesc() argument
964 if (RMin.isZero() && RMax.isZero()) in appendOutOfRangeDesc()
966 else if (RMin == RMax) { in appendOutOfRangeDesc()
969 if (RMax == -1) in appendOutOfRangeDesc()
972 Out << "> " << RMax; in appendOutOfRangeDesc()
973 } else if (RMax == BVF.getMaxValue(ArgT)) { in appendOutOfRangeDesc()
978 } else if (RMin.isNegative() == RMax.isNegative() && in appendOutOfRangeDesc()
979 RMin.getLimitedValue() == RMax.getLimitedValue() - 1) { in appendOutOfRangeDesc()
980 Out << "not " << RMin << " and not " << RMax; in appendOutOfRangeDesc()
982 Out << "not between " << RMin << " and " << RMax; in appendOutOfRangeDesc()