Searched refs:Ssize_tMax (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StdLibraryFunctionsChecker.cpp | 2070 std::optional<RangeInt> Ssize_tMax = getMaxValue(Ssize_tTy); in initFunctionSummaries() local
2075 ReturnValueCondition(WithinRange, Range(-1, Ssize_tMax))}, in initFunctionSummaries()
2093 Range({-1, -1}, {1, Ssize_tMax}))}, in initFunctionSummaries()
3000 ReturnValueCondition(WithinRange, Range(1, Ssize_tMax))}, in initFunctionSummaries()
3024 ReturnValueCondition(WithinRange, Range(1, Ssize_tMax))}, in initFunctionSummaries()
3246 ReturnValueCondition(WithinRange, Range(1, Ssize_tMax))}, in initFunctionSummaries()
3276 ReturnValueCondition(WithinRange, Range(1, Ssize_tMax))}, in initFunctionSummaries()
3317 ReturnValueCondition(WithinRange, Range(1, Ssize_tMax))}, in initFunctionSummaries()
3338 .Case({ReturnValueCondition(WithinRange, Range(1, Ssize_tMax))}, in initFunctionSummaries()
3350 .Case({ReturnValueCondition(WithinRange, Range(1, Ssize_tMax))}, in initFunctionSummaries()
[all …]
|