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,931 llvm::APSInt RMax, in appendInsideRangeDesc() argument935 if (RMin.isZero() && RMax.isZero()) in appendInsideRangeDesc()937 else if (RMin == RMax) in appendInsideRangeDesc()940 if (RMax == -1) in appendInsideRangeDesc()943 Out << "<= " << RMax; in appendInsideRangeDesc()944 } else if (RMax == BVF.getMaxValue(ArgT)) { in appendInsideRangeDesc()949 } else if (RMin.isNegative() == RMax.isNegative() && in appendInsideRangeDesc()950 RMin.getLimitedValue() == RMax.getLimitedValue() - 1) { in appendInsideRangeDesc()[all …]