94   typedef uint64_t RangeInt;  typedef in __anon4d759d9c0111::StdLibraryFunctionsChecker
98   typedef std::vector<std::pair<RangeInt, RangeInt>> IntRangeVector;
1072       for (const std::pair<RangeInt, RangeInt> &R : Ranges) {  in describe()
1079       for (const std::pair<RangeInt, RangeInt> &R : Ranges) {  in describe()
1642     std::optional<RangeInt> operator()(QualType Ty) {  in initFunctionSummaries()
1645     std::optional<RangeInt> operator()(std::optional<QualType> Ty) {  in initFunctionSummaries()
1687   const RangeInt IntMax = BVF.getMaxValue(IntTy).getLimitedValue();  in initFunctionSummaries()
1688   const RangeInt UnsignedIntMax =  in initFunctionSummaries()
1690   const RangeInt LongMax = BVF.getMaxValue(LongTy).getLimitedValue();  in initFunctionSummaries()
1691   const RangeInt SizeMax = BVF.getMaxValue(SizeTy).getLimitedValue();  in initFunctionSummaries()
1699   const RangeInt UCharRangeMax =  in initFunctionSummaries()
1772     auto operator()(RangeInt b, RangeInt e) {  in initFunctionSummaries()
1773       return IntRangeVector{std::pair<RangeInt, RangeInt>{b, e}};  in initFunctionSummaries()
1775     auto operator()(RangeInt b, std::optional<RangeInt> e) {  in initFunctionSummaries()
1777         return IntRangeVector{std::pair<RangeInt, RangeInt>{b, *e}};  in initFunctionSummaries()
1780     auto operator()(std::pair<RangeInt, RangeInt> i0,  in initFunctionSummaries()
1781                     std::pair<RangeInt, std::optional<RangeInt>> i1) {  in initFunctionSummaries()
1787   auto SingleValue = [](RangeInt v) {  in initFunctionSummaries()
1788     return IntRangeVector{std::pair<RangeInt, RangeInt>{v, v}};  in initFunctionSummaries()
2070   std::optional<RangeInt> Ssize_tMax = getMaxValue(Ssize_tTy);  in initFunctionSummaries()
2238     std::optional<RangeInt> Off_tMax = getMaxValue(Off_tTy);  in initFunctionSummaries()
3109     std::optional<RangeInt> Socklen_tMax = getMaxValue(Socklen_tTy);  in initFunctionSummaries()
3704     const RangeInt IntMin = BVF.getMinValue(IntTy).getLimitedValue();  in initFunctionSummaries()