Searched refs:RangeInt (Results 1 – 1 of 1) sorted by relevance
80 typedef uint64_t RangeInt; typedef in __anon6255e2070111::StdLibraryFunctionsChecker86 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()[all …]