Home
last modified time | relevance | path

Searched refs:SizeMax (Results 1 – 2 of 2) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DVLASizeChecker.cpp96 uint64_t SizeMax = in checkVLA() local
133 if (KnownSize <= SizeMax / IndexL) { in checkVLA()
H A DStdLibraryFunctionsChecker.cpp1694 const RangeInt SizeMax = BVF.getMaxValue(SizeTy)->getLimitedValue(); in initFunctionSummaries() local
2040 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2041 ArgumentCondition(2U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2043 ReturnValueCondition(WithinRange, Range(0, SizeMax))}, in initFunctionSummaries()
2045 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2047 ReturnValueCondition(WithinRange, Range(0, SizeMax))}, in initFunctionSummaries()
2625 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2655 ArgumentCondition(1, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2663 ArgumentCondition(1, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2673 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
[all …]