Lines Matching refs:SizeMax
1691 const RangeInt SizeMax = BVF.getMaxValue(SizeTy).getLimitedValue(); in initFunctionSummaries() local
2036 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2037 ArgumentCondition(2U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2039 ReturnValueCondition(WithinRange, Range(0, SizeMax))}, in initFunctionSummaries()
2041 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2043 ReturnValueCondition(WithinRange, Range(0, SizeMax))}, in initFunctionSummaries()
2621 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2650 .Case({ArgumentCondition(1, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2656 .Case({ArgumentCondition(1, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2663 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2953 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
2966 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
3012 ArgumentCondition(2, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
3037 ArgumentCondition(3, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
3680 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()