Searched refs:SizeMax (Results 1 – 2 of 2) sorted by relevance
| /freebsd-14.2/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
2043 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2044 ArgumentCondition(2U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2046 ReturnValueCondition(WithinRange, Range(0, SizeMax))}, in initFunctionSummaries()
2048 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2050 ReturnValueCondition(WithinRange, Range(0, SizeMax))}, in initFunctionSummaries()
2542 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2584 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2948 ArgumentCondition(2, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2973 ArgumentCondition(3, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
[all …]
|