Searched refs:RangeInt (Results 1 – 1 of 1) sorted by relevance
73 typedef uint64_t RangeInt; typedef in __anon2143b5530111::StdLibraryFunctionsChecker79 typedef std::vector<std::pair<RangeInt, RangeInt>> IntRangeVector;813 for (const std::pair<RangeInt, RangeInt> &R : Ranges) { in describe()1244 std::optional<RangeInt> operator()(QualType Ty) { in initFunctionSummaries()1247 std::optional<RangeInt> operator()(std::optional<QualType> Ty) { in initFunctionSummaries()1289 const RangeInt IntMax = BVF.getMaxValue(IntTy).getLimitedValue(); in initFunctionSummaries()1290 const RangeInt UnsignedIntMax = in initFunctionSummaries()1292 const RangeInt LongMax = BVF.getMaxValue(LongTy).getLimitedValue(); in initFunctionSummaries()1293 const RangeInt SizeMax = BVF.getMaxValue(SizeTy).getLimitedValue(); in initFunctionSummaries()1301 const RangeInt UCharRangeMax = in initFunctionSummaries()[all …]