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