Searched refs:SizeMax (Results 1 – 2 of 2) sorted by relevance
| /llvm-project-15.0.7/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 | 1267 const RangeInt SizeMax = BVF.getMaxValue(SizeTy).getLimitedValue(); in initFunctionSummaries() local
1603 ReturnValueCondition(WithinRange, Range(0, SizeMax))}, in initFunctionSummaries()
1877 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
1904 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2232 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
2245 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
2286 ArgumentCondition(2, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2306 ArgumentCondition(3, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2902 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
|