Lines Matching defs:IntMax
1687 const RangeInt IntMax = BVF.getMaxValue(IntTy).getLimitedValue();
1696 // value of the argument should be min(UCharMax, IntMax). This just happen
1700 std::min(BVF.getMaxValue(ACtx.UnsignedCharTy).getLimitedValue(), IntMax);
2155 ConstraintSet{ReturnValueCondition(WithinRange, Range(0, IntMax))};
2159 ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, IntMax))};
2164 ArgN, WithinRange, Range({AT_FDCWDv, AT_FDCWDv}, {0, IntMax}),
2186 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))
2232 .Case({ReturnValueCondition(WithinRange, {{0, IntMax}})},
2277 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(0, IntMax)))
2484 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
2493 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))
2495 ArgumentCondition(1, WithinRange, Range(0, IntMax))));
2504 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
2522 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
2562 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
2731 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
2773 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
2844 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))
2898 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
2907 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
2916 ArgumentCondition(0, WithinRange, Range(-1, IntMax))));
2923 0, WithinRange, Range(0, IntMax))));
2955 ArgumentCondition(4, WithinRange, Range(-1, IntMax))));
2968 ArgumentCondition(4, WithinRange, Range(-1, IntMax))));
2989 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
2998 .Case({ArgumentCondition(2, WithinRange, Range(1, IntMax)),
3022 .Case({ArgumentCondition(3, WithinRange, Range(1, IntMax)),
3092 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))
3131 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)));
3156 ArgumentCondition(0, WithinRange, Range(0, IntMax)))
3170 ArgumentCondition(0, WithinRange, Range(0, IntMax)))
3185 ArgumentCondition(0, WithinRange, Range(0, IntMax)))
3196 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
3209 ArgumentCondition(0, WithinRange, Range(0, IntMax)))
3220 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
3232 ArgumentCondition(0, WithinRange, Range(0, IntMax)))
3241 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
3252 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))
3282 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))
3308 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
3323 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))
3342 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
3354 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
3398 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))
3418 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
3473 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
3745 0U, WithinRange, Range(-1, IntMax))));
3750 0U, WithinRange, Range(0, IntMax))));
3755 0U, WithinRange, Range(1, IntMax))));
3780 Range({1, 2}, {4, IntMax}))));
3811 0U, OutOfRange, Range(-1, IntMax))));
3816 0U, OutOfRange, Range(0, IntMax))));
3821 0U, OutOfRange, Range(1, IntMax))));
3846 ArgumentCondition(0U, OutOfRange, Range({1, 2}, {4, IntMax}))));
3920 IntRangeVector{{3, 3}, {7, IntMax}}),
3924 IntRangeVector{{IntMin, 0}, {7, IntMax}}),
3929 IntRangeVector{{IntMin, 0}, {3, 3}, {7, IntMax}}),