1077   const RangeInt IntMax = BVF.getMaxValue(IntTy).getLimitedValue();  in initFunctionSummaries()  local
1090       std::min(BVF.getMaxValue(ACtx.UnsignedCharTy).getLimitedValue(), IntMax);  in initFunctionSummaries()
1453         ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, IntMax))};  in initFunctionSummaries()
1476                                     0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
1483             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
1485                 ArgumentCondition(1, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
1493                                     0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
1509                                     0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
1538             .ArgConstraint(ArgumentCondition(1, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
1547                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
1675             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
1684                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
1697             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
1722                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
1755             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
1757             .ArgConstraint(ArgumentCondition(2, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
1773             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
1785             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
1817             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
1831                                     0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
1839                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
1859                                     0, WithinRange, Range(-1, IntMax))));  in initFunctionSummaries()
1866                                     0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
1878             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
1925                 ArgumentCondition(4, WithinRange, Range(-1, IntMax))));  in initFunctionSummaries()
1937                 ArgumentCondition(4, WithinRange, Range(-1, IntMax))));  in initFunctionSummaries()
1951                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
1979             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2031             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2057             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)));  in initFunctionSummaries()
2081                     ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2094                   ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2108                     ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2118                   ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2130                     ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2140                   ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2151                     ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2159                   ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2165             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2190             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2215                                     0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2225             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2242                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2252                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()
2289             .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax)))  in initFunctionSummaries()
2351                 ArgumentCondition(0, WithinRange, Range(0, IntMax))));  in initFunctionSummaries()