Searched refs:RMin (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,932 void StdLibraryFunctionsChecker::appendInsideRangeDesc(llvm::APSInt RMin, in appendInsideRangeDesc() argument937 if (RMin.isZero() && RMax.isZero()) in appendInsideRangeDesc()939 else if (RMin == RMax) in appendInsideRangeDesc()940 Out << RMin; in appendInsideRangeDesc()941 else if (RMin == BVF.getMinValue(ArgT)) { in appendInsideRangeDesc()947 if (RMin.isOne()) in appendInsideRangeDesc()950 Out << ">= " << RMin; in appendInsideRangeDesc()951 } else if (RMin.isNegative() == RMax.isNegative() && in appendInsideRangeDesc()[all …]