1289   const RangeInt IntMax = BVF.getMaxValue(IntTy).getLimitedValue();  in initFunctionSummaries()  local
1302       std::min(BVF.getMaxValue(ACtx.UnsignedCharTy).getLimitedValue(), IntMax);  in initFunctionSummaries()
1745         ConstraintSet{ReturnValueCondition(WithinRange, Range(0, IntMax))};  in initFunctionSummaries()
1749         ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, IntMax))};  in initFunctionSummaries()
1912                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
1920             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
1922                 ArgumentCondition(1, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
1931                                     0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
1948                                     0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
1980             .ArgConstraint(ArgumentCondition(1, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
1990                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2130             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2140                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2154             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2182                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2219             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2221             .ArgConstraint(ArgumentCondition(2, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2239             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2253             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2288             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2304                                     0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2313                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2336                                     0, WithinRange, Range(-1, IntMax))));  in initFunctionSummaries()
2343                                     0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2356             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2397                 ArgumentCondition(4, WithinRange, Range(-1, IntMax))));  in initFunctionSummaries()
2410                 ArgumentCondition(4, WithinRange, Range(-1, IntMax))));  in initFunctionSummaries()
2431                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2463             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2520             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2549             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)));  in initFunctionSummaries()
2574                     ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2588                   ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2603                     ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2614                   ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2627                     ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2638                   ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2650                     ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2659                   ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2667             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2694             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2720                                     0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2732             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2751                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2763                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2804             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2870                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()