Searched refs:SizeMax (Results 1 – 2 of 2) sorted by relevance
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | VLASizeChecker.cpp | 99 uint64_t SizeMax = in checkVLA() local
136 if (KnownSize <= SizeMax / IndexL) { in checkVLA()
|
| H A D | StdLibraryFunctionsChecker.cpp | 1293 const RangeInt SizeMax = BVF.getMaxValue(SizeTy).getLimitedValue(); in initFunctionSummaries() local
1636 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
1637 ArgumentCondition(2U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
1639 ReturnValueCondition(WithinRange, Range(0, SizeMax))}, in initFunctionSummaries()
1641 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
1643 ReturnValueCondition(WithinRange, Range(0, SizeMax))}, in initFunctionSummaries()
2047 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2074 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2395 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
2408 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
[all …]
|