Lines Matching defs:IntMin

3704     const RangeInt IntMin = BVF.getMinValue(IntTy).getLimitedValue();
3760                                     0U, WithinRange, Range(IntMin, -1))));
3765                                     0U, WithinRange, Range(IntMin, 0))));
3770                                     0U, WithinRange, Range(IntMin, 1))));
3826                                     0U, OutOfRange, Range(IntMin, -1))));
3831                                     0U, OutOfRange, Range(IntMin, 0))));
3836                                     0U, OutOfRange, Range(IntMin, 1))));
3916                                      IntRangeVector{{IntMin, 0}, {3, 3}}),
3924                                      IntRangeVector{{IntMin, 0}, {7, IntMax}}),
3929                        IntRangeVector{{IntMin, 0}, {3, 3}, {7, IntMax}}),