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,930 void StdLibraryFunctionsChecker::appendInsideRangeDesc(llvm::APSInt RMin, in appendInsideRangeDesc() argument935 if (RMin.isZero() && RMax.isZero()) in appendInsideRangeDesc()937 else if (RMin == RMax) in appendInsideRangeDesc()938 Out << RMin; in appendInsideRangeDesc()939 else if (RMin == BVF.getMinValue(ArgT)) { in appendInsideRangeDesc()945 if (RMin.isOne()) in appendInsideRangeDesc()948 Out << ">= " << RMin; in appendInsideRangeDesc()949 } else if (RMin.isNegative() == RMax.isNegative() && in appendInsideRangeDesc()[all …]