Lines Matching refs:SizeMax
1691 const RangeInt SizeMax = BVF.getMaxValue(SizeTy).getLimitedValue(); in initFunctionSummaries() local
2043 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2044 ArgumentCondition(2U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2046 ReturnValueCondition(WithinRange, Range(0, SizeMax))}, in initFunctionSummaries()
2048 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2050 ReturnValueCondition(WithinRange, Range(0, SizeMax))}, in initFunctionSummaries()
2542 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2571 .Case({ArgumentCondition(1, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2577 .Case({ArgumentCondition(1, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2584 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2889 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
2902 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
2948 ArgumentCondition(2, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2973 ArgumentCondition(3, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
3612 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()