80   typedef uint64_t RangeInt;  typedef in __anondd300ad00111::StdLibraryFunctionsChecker
86   typedef std::vector<std::pair<RangeInt, RangeInt>> IntRangeVector;
648   for (const std::pair<RangeInt, RangeInt> &R : Ranges) {  in describe()
1032     Optional<RangeInt> operator()(QualType Ty) {  in initFunctionSummaries()
1035     Optional<RangeInt> operator()(Optional<QualType> Ty) {  in initFunctionSummaries()
1077   const RangeInt IntMax = BVF.getMaxValue(IntTy).getLimitedValue();  in initFunctionSummaries()
1078   const RangeInt UnsignedIntMax =  in initFunctionSummaries()
1080   const RangeInt LongMax = BVF.getMaxValue(LongTy).getLimitedValue();  in initFunctionSummaries()
1081   const RangeInt SizeMax = BVF.getMaxValue(SizeTy).getLimitedValue();  in initFunctionSummaries()
1089   const RangeInt UCharRangeMax =  in initFunctionSummaries()
1094   const auto EOFv = [&C]() -> RangeInt {  in initFunctionSummaries()
1165     auto operator()(RangeInt b, RangeInt e) {  in initFunctionSummaries()
1166       return IntRangeVector{std::pair<RangeInt, RangeInt>{b, e}};  in initFunctionSummaries()
1168     auto operator()(RangeInt b, Optional<RangeInt> e) {  in initFunctionSummaries()
1170         return IntRangeVector{std::pair<RangeInt, RangeInt>{b, *e}};  in initFunctionSummaries()
1173     auto operator()(std::pair<RangeInt, RangeInt> i0,  in initFunctionSummaries()
1174                     std::pair<RangeInt, Optional<RangeInt>> i1) {  in initFunctionSummaries()
1180   auto SingleValue = [](RangeInt v) {  in initFunctionSummaries()
1181     return IntRangeVector{std::pair<RangeInt, RangeInt>{v, v}};  in initFunctionSummaries()
1390   Optional<RangeInt> Ssize_tMax = getMaxValue(Ssize_tTy);  in initFunctionSummaries()
2046     Optional<RangeInt> Socklen_tMax = getMaxValue(Socklen_tTy);  in initFunctionSummaries()