StdLibraryFunctionsChecker.cpp - OpenGrok cross reference for /llvm-project/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp

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}}),