86   typedef std::vector<std::pair<RangeInt, RangeInt>> IntRangeVector;  typedef in __anon6255e2070111::StdLibraryFunctionsChecker
178     IntRangeVector Ranges;
182     RangeConstraint(ArgNo ArgN, RangeKind Kind, const IntRangeVector &Ranges)  in RangeConstraint()
188     const IntRangeVector &getRanges() const { return Ranges; }  in getRanges()
707     const IntRangeVector &R = getRanges();  in applyAsOutOfRange()
745     const IntRangeVector &R = getRanges();  in applyAsWithinRange()
1150                               IntRangeVector Ranges) {  in initFunctionSummaries()
1157     auto operator()(RangeKind Kind, IntRangeVector Ranges) {  in initFunctionSummaries()
1166       return IntRangeVector{std::pair<RangeInt, RangeInt>{b, e}};  in initFunctionSummaries()
1170         return IntRangeVector{std::pair<RangeInt, RangeInt>{b, *e}};  in initFunctionSummaries()
1171       return IntRangeVector{};  in initFunctionSummaries()
1176         return IntRangeVector{i0, {i1.first, *(i1.second)}};  in initFunctionSummaries()
1177       return IntRangeVector{i0};  in initFunctionSummaries()
1181     return IntRangeVector{std::pair<RangeInt, RangeInt>{v, v}};  in initFunctionSummaries()