Searched refs:SizeMax (Results 1 – 2 of 2) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | VLASizeChecker.cpp | 98 uint64_t SizeMax = in checkVLA() local
135 if (KnownSize <= SizeMax / IndexL) { in checkVLA()
|
| H A D | StdLibraryFunctionsChecker.cpp | 1691 const RangeInt SizeMax = BVF.getMaxValue(SizeTy).getLimitedValue(); in initFunctionSummaries() local
2036 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2037 ArgumentCondition(2U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2039 ReturnValueCondition(WithinRange, Range(0, SizeMax))}, in initFunctionSummaries()
2041 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2043 ReturnValueCondition(WithinRange, Range(0, SizeMax))}, in initFunctionSummaries()
2621 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2650 .Case({ArgumentCondition(1, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2656 .Case({ArgumentCondition(1, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2663 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
[all …]
|