Lines Matching defs:IntMax

1690   const RangeInt IntMax = BVF.getMaxValue(IntTy)->getLimitedValue();
1699 // value of the argument should be min(UCharMax, IntMax). This just happen
1703 std::min(BVF.getMaxValue(ACtx.UnsignedCharTy)->getLimitedValue(), IntMax);
2158 ConstraintSet{ReturnValueCondition(WithinRange, Range(0, IntMax))};
2162 ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, IntMax))};
2167 ArgN, WithinRange, Range({AT_FDCWDv, AT_FDCWDv}, {0, IntMax}),
2189 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))
2235 .Case({ReturnValueCondition(WithinRange, {{0, IntMax}})},
2280 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(0, IntMax)))
2487 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
2496 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))
2498 ArgumentCondition(1, WithinRange, Range(0, IntMax))));
2507 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
2525 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
2565 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
2734 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
2776 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
2847 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))
2901 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
2910 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
2919 ArgumentCondition(0, WithinRange, Range(-1, IntMax))));
2926 0, WithinRange, Range(0, IntMax))));
2958 ArgumentCondition(4, WithinRange, Range(-1, IntMax))));
2971 ArgumentCondition(4, WithinRange, Range(-1, IntMax))));
2992 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
3001 .Case({ArgumentCondition(2, WithinRange, Range(1, IntMax)),
3025 .Case({ArgumentCondition(3, WithinRange, Range(1, IntMax)),
3095 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))
3134 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)));
3159 ArgumentCondition(0, WithinRange, Range(0, IntMax)))
3173 ArgumentCondition(0, WithinRange, Range(0, IntMax)))
3188 ArgumentCondition(0, WithinRange, Range(0, IntMax)))
3199 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
3212 ArgumentCondition(0, WithinRange, Range(0, IntMax)))
3223 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
3235 ArgumentCondition(0, WithinRange, Range(0, IntMax)))
3244 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
3255 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))
3285 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))
3311 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
3326 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))
3345 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
3357 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
3401 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))
3421 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
3476 ArgumentCondition(0, WithinRange, Range(0, IntMax))));
3748 0U, WithinRange, Range(-1, IntMax))));
3753 0U, WithinRange, Range(0, IntMax))));
3758 0U, WithinRange, Range(1, IntMax))));
3783 Range({1, 2}, {4, IntMax}))));
3814 0U, OutOfRange, Range(-1, IntMax))));
3819 0U, OutOfRange, Range(0, IntMax))));
3824 0U, OutOfRange, Range(1, IntMax))));
3849 ArgumentCondition(0U, OutOfRange, Range({1, 2}, {4, IntMax}))));
3923 IntRangeVector{{3, 3}, {7, IntMax}}),
3927 IntRangeVector{{IntMin, 0}, {7, IntMax}}),
3932 IntRangeVector{{IntMin, 0}, {3, 3}, {7, IntMax}}),