1263   const RangeInt IntMax = BVF.getMaxValue(IntTy).getLimitedValue();  in initFunctionSummaries()  local
1276       std::min(BVF.getMaxValue(ACtx.UnsignedCharTy).getLimitedValue(), IntMax);  in initFunctionSummaries()
1712         ConstraintSet{ReturnValueCondition(WithinRange, Range(0, IntMax))};  in initFunctionSummaries()
1714         ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, IntMax))};  in initFunctionSummaries()
1742                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
1750             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
1752                 ArgumentCondition(1, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
1761                                     0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
1778                                     0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
1810             .ArgConstraint(ArgumentCondition(1, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
1820                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
1960             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
1970                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
1984             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2012                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2049             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2051             .ArgConstraint(ArgumentCondition(2, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2069             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2082             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2117             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2133                                     0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2142                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2165                                     0, WithinRange, Range(-1, IntMax))));  in initFunctionSummaries()
2172                                     0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2185             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2234                 ArgumentCondition(4, WithinRange, Range(-1, IntMax))));  in initFunctionSummaries()
2247                 ArgumentCondition(4, WithinRange, Range(-1, IntMax))));  in initFunctionSummaries()
2268                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2300             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2357             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2384             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)));  in initFunctionSummaries()
2409                     ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2423                   ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2438                     ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2449                   ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2462                     ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2473                   ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2485                     ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2494                   ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2502             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2529             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2555                                     0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2567             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2586                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2598                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2639             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2704                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()