Searched refs:SizeMax (Results 1 – 2 of 2) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/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 | 1081 const RangeInt SizeMax = BVF.getMaxValue(SizeTy).getLimitedValue(); in initFunctionSummaries() local
1368 ReturnValueCondition(WithinRange, Range(0, SizeMax))}) in initFunctionSummaries()
1601 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
1625 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
1923 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
1935 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
1967 ArgumentCondition(2, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
1985 ArgumentCondition(3, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2544 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
|