Lines Matching defs:SizeMax

1694   const RangeInt SizeMax = BVF.getMaxValue(SizeTy)->getLimitedValue();
2039           .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)),
2040                  ArgumentCondition(2U, WithinRange, Range(1, SizeMax)),
2042                  ReturnValueCondition(WithinRange, Range(0, SizeMax))},
2044           .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)),
2046                  ReturnValueCondition(WithinRange, Range(0, SizeMax))},
2624                 ArgumentCondition(1, WithinRange, Range(0, SizeMax))));
2653             .Case({ArgumentCondition(1, WithinRange, Range(1, SizeMax)),
2659             .Case({ArgumentCondition(1, WithinRange, Range(1, SizeMax)),
2666                 ArgumentCondition(1, WithinRange, Range(0, SizeMax))));
2956             .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax)))
2969             .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax)))
3015                 ArgumentCondition(2, WithinRange, Range(0, SizeMax))));
3040                 ArgumentCondition(3, WithinRange, Range(0, SizeMax))));
3683                 ArgumentCondition(1, WithinRange, Range(0, SizeMax))));