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