98   typedef std::vector<std::pair<RangeInt, RangeInt>> IntRangeVector;  typedef in __anon4d759d9c0111::StdLibraryFunctionsChecker
272     IntRangeVector Ranges;
280     RangeConstraint(ArgNo ArgN, RangeKind Kind, const IntRangeVector &Ranges,  in RangeConstraint()
285     const IntRangeVector &getRanges() const { return Ranges; }  in getRanges()
1005   const IntRangeVector &R = getRanges();  in applyOnOutOfRange()
1756   auto ArgumentCondition = [](ArgNo ArgN, RangeKind Kind, IntRangeVector Ranges,  in initFunctionSummaries()
1764     auto operator()(RangeKind Kind, IntRangeVector Ranges) {  in initFunctionSummaries()
1773       return IntRangeVector{std::pair<RangeInt, RangeInt>{b, e}};  in initFunctionSummaries()
1777         return IntRangeVector{std::pair<RangeInt, RangeInt>{b, *e}};  in initFunctionSummaries()
1778       return IntRangeVector{};  in initFunctionSummaries()
1783         return IntRangeVector{i0, {i1.first, *(i1.second)}};  in initFunctionSummaries()
1784       return IntRangeVector{i0};  in initFunctionSummaries()
1788     return IntRangeVector{std::pair<RangeInt, RangeInt>{v, v}};  in initFunctionSummaries()
3916                                      IntRangeVector{{IntMin, 0}, {3, 3}}),  in initFunctionSummaries()
3920                                      IntRangeVector{{3, 3}, {7, IntMax}}),  in initFunctionSummaries()
3924                                      IntRangeVector{{IntMin, 0}, {7, IntMax}}),  in initFunctionSummaries()
3929                        IntRangeVector{{IntMin, 0}, {3, 3}, {7, IntMax}}),  in initFunctionSummaries()