Lines Matching defs:IntMin

3707     const RangeInt IntMin = BVF.getMinValue(IntTy)->getLimitedValue();
3763                                     0U, WithinRange, Range(IntMin, -1))));
3768                                     0U, WithinRange, Range(IntMin, 0))));
3773                                     0U, WithinRange, Range(IntMin, 1))));
3829                                     0U, OutOfRange, Range(IntMin, -1))));
3834                                     0U, OutOfRange, Range(IntMin, 0))));
3839                                     0U, OutOfRange, Range(IntMin, 1))));
3919                                      IntRangeVector{{IntMin, 0}, {3, 3}}),
3927                                      IntRangeVector{{IntMin, 0}, {7, IntMax}}),
3932                        IntRangeVector{{IntMin, 0}, {3, 3}, {7, IntMax}}),