Searched refs:RMax (Results 1 – 1 of 1) sorted by relevance
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() argument937 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()[all …]