1687   const RangeInt IntMax = BVF.getMaxValue(IntTy).getLimitedValue();  in initFunctionSummaries()  local
1700       std::min(BVF.getMaxValue(ACtx.UnsignedCharTy).getLimitedValue(), IntMax);  in initFunctionSummaries()
2152         ConstraintSet{ReturnValueCondition(WithinRange, Range(0, IntMax))};  in initFunctionSummaries()
2156         ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, IntMax))};  in initFunctionSummaries()
2161           ArgN, WithinRange, Range({AT_FDCWDv, AT_FDCWDv}, {0, IntMax}),  in initFunctionSummaries()
2183             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2405                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2414             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2416                 ArgumentCondition(1, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2425                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2443                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2483                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2652                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2694                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2765             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2819                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2828                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2852                 ArgumentCondition(0, WithinRange, Range(-1, IntMax))));  in initFunctionSummaries()
2859                                     0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2891                 ArgumentCondition(4, WithinRange, Range(-1, IntMax))));  in initFunctionSummaries()
2904                 ArgumentCondition(4, WithinRange, Range(-1, IntMax))));  in initFunctionSummaries()
2925                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2934             .Case({ArgumentCondition(2, WithinRange, Range(1, IntMax)),  in initFunctionSummaries()
2958             .Case({ArgumentCondition(3, WithinRange, Range(1, IntMax)),  in initFunctionSummaries()
3024             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
3063             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)));  in initFunctionSummaries()
3088                     ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
3102                   ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
3117                     ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
3128                   ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
3141                     ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
3152                   ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
3164                     ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
3173                   ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
3184             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
3214             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
3240                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
3255             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
3274                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
3286                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
3330             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
3350                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
3405                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
3677                                     0U, WithinRange, Range(-1, IntMax))));  in initFunctionSummaries()
3682                                     0U, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
3687                                     0U, WithinRange, Range(1, IntMax))));  in initFunctionSummaries()
3712                                              Range({1, 2}, {4, IntMax}))));  in initFunctionSummaries()
3743                                     0U, OutOfRange, Range(-1, IntMax))));  in initFunctionSummaries()
3748                                     0U, OutOfRange, Range(0, IntMax))));  in initFunctionSummaries()
3753                                     0U, OutOfRange, Range(1, IntMax))));  in initFunctionSummaries()
3778                 ArgumentCondition(0U, OutOfRange, Range({1, 2}, {4, IntMax}))));  in initFunctionSummaries()
3852                                      IntRangeVector{{3, 3}, {7, IntMax}}),  in initFunctionSummaries()
3856                                      IntRangeVector{{IntMin, 0}, {7, IntMax}}),  in initFunctionSummaries()
3861                        IntRangeVector{{IntMin, 0}, {3, 3}, {7, IntMax}}),  in initFunctionSummaries()