Searched refs:SizeMax (Results 1 – 2 of 2) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | VLASizeChecker.cpp | 96 uint64_t SizeMax = in checkVLA() local
133 if (KnownSize <= SizeMax / IndexL) { in checkVLA()
|
| H A D | StdLibraryFunctionsChecker.cpp | 1694 const RangeInt SizeMax = BVF.getMaxValue(SizeTy)->getLimitedValue(); in initFunctionSummaries() local
2040 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2041 ArgumentCondition(2U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2043 ReturnValueCondition(WithinRange, Range(0, SizeMax))}, in initFunctionSummaries()
2045 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2047 ReturnValueCondition(WithinRange, Range(0, SizeMax))}, in initFunctionSummaries()
2625 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2655 ArgumentCondition(1, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2663 ArgumentCondition(1, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2673 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
[all …]
|