85   typedef uint64_t RangeInt;  typedef in __anon09a2c6cc0111::StdLibraryFunctionsChecker
91   typedef std::vector<std::pair<RangeInt, RangeInt>> IntRangeVector;
808   for (const std::pair<RangeInt, RangeInt> &R : Ranges) {  in describe()
1218     Optional<RangeInt> operator()(QualType Ty) {  in initFunctionSummaries()
1221     Optional<RangeInt> operator()(Optional<QualType> Ty) {  in initFunctionSummaries()
1263   const RangeInt IntMax = BVF.getMaxValue(IntTy).getLimitedValue();  in initFunctionSummaries()
1264   const RangeInt UnsignedIntMax =  in initFunctionSummaries()
1266   const RangeInt LongMax = BVF.getMaxValue(LongTy).getLimitedValue();  in initFunctionSummaries()
1267   const RangeInt SizeMax = BVF.getMaxValue(SizeTy).getLimitedValue();  in initFunctionSummaries()
1275   const RangeInt UCharRangeMax =  in initFunctionSummaries()
1280   const auto EOFv = [&C]() -> RangeInt {  in initFunctionSummaries()
1351     auto operator()(RangeInt b, RangeInt e) {  in initFunctionSummaries()
1352       return IntRangeVector{std::pair<RangeInt, RangeInt>{b, e}};  in initFunctionSummaries()
1354     auto operator()(RangeInt b, Optional<RangeInt> e) {  in initFunctionSummaries()
1356         return IntRangeVector{std::pair<RangeInt, RangeInt>{b, *e}};  in initFunctionSummaries()
1359     auto operator()(std::pair<RangeInt, RangeInt> i0,  in initFunctionSummaries()
1360                     std::pair<RangeInt, Optional<RangeInt>> i1) {  in initFunctionSummaries()
1366   auto SingleValue = [](RangeInt v) {  in initFunctionSummaries()
1367     return IntRangeVector{std::pair<RangeInt, RangeInt>{v, v}};  in initFunctionSummaries()
1626   Optional<RangeInt> Ssize_tMax = getMaxValue(Ssize_tTy);  in initFunctionSummaries()
2372     Optional<RangeInt> Socklen_tMax = getMaxValue(Socklen_tTy);  in initFunctionSummaries()