Home
last modified time | relevance | path

Searched refs:RMax (Results 1 – 1 of 1) sorted by relevance

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DStdLibraryFunctionsChecker.cpp937 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()
953 Out << RMin << " or " << RMax; in appendInsideRangeDesc()
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()
[all …]